"Man, unlike any other thing organic or inorganic in the universe, grows beyond his work, walks up the stairs of his concepts, emerges ahead of his accomplishments."
人，与宇宙中任何其他有机或无机的事物不同，超越了他的工作，走上他概念的阶梯，超越了他的成就。
La verdad no siempre está en los hechos, a veces se esconde en los pliegues de la imaginación.
商业就像战争——你需要战略，但当事情出错时，你也需要适应。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。