"The absurd is the essential concept and the first truth."
The challenge in model checking is not just to find errors, but to understand why they occur.
The most sustainable farm is the one that remains profitable year after year.
You do not have to be good. You do not have to walk on your knees for a hundred miles through the desert, repenting. You only have to let the soft animal of your body love what it loves.
We are all unreliable narrators of our own lives.