"真正的流亡不是离开故土,而是在故土成为陌生人。"
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Sometimes, the only way to stay sane is to go a little crazy.
The truth is rarely pure and never simple.
译文:连续地打仗,百姓就会感到劳苦;长期打仗,士兵就会感到疲惫。