"The world is a shadow, and the shadow is a game."

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The challenge of architecture is to balance function and poetry.

"La ficción es la mentira que revela verdades más profundas."

The difference between a policy and a crusade is that a policy is judged by its results, while a crusade is judged by how good it makes its crusaders feel.