SMS dit: Derecho y lógica formal.