形式化方法的美在于它们能够提供关于系统行为的绝对保证。

宇宙的平衡和谐是基本原则。

Baking is as much about the journey as it is about the destination.

"Emotions exist for the sake of action."

I don't know what I'd do without music.

What's terrible is to pretend that second-rate is first-rate. To pretend that you don't need love when you do; or you like your work when you know quite well you're capable of better.