Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación.
La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Cásate con una persona igual, por que la desigualdad en las parejas quebranta la doble armonía.
La desigualdad es esencial en la vida del hombre: no hay más rasero nivelador que el de la muerte