"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
我不是追随者，我是领导者。
Literature should disturb the comfortable and comfort the disturbed.
那些不牢记过去的人，注定要重复过去发生的事。
海洋的健康反映了人类的健康。
We've had vicious kings, and we've had idiot kings, but I don't know if we've ever been cursed with a vicious idiot for a king!
It is a capital mistake to theorize before one has data.