讨厌的人会一直讨厌，讨厌，讨厌，讨厌，讨厌。宝贝，我只会摇，摇，摇，摇，摇。摇掉它。

机械和节省劳力的装置只有在降低制造成本时才具有价值。

Words are the only thing that can build bridges across the abyss of misunderstanding.

Literature is the memory of humanity.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。