"Truth is not always the most comforting thing, but it is the most necessary."
写作的行为是一种乐观的行为。
The study of computation is not just about machines, but about the very nature of thought and logic.