The purpose of literature is to turn blood into ink.
我不是理论家。我不是知识分子。我写剧本。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.