To write is to rewrite, and to rewrite is to understand.
Writing is a way to make sense of the world.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
What matters in life is not what happens to you but what you remember and how you remember it.