"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I'm the reason you tape X-Men, see I'm the X, man.
The most painful thing is losing yourself in the process of loving someone too much, and forgetting that you are special too.
The only person who can pull me down is myself, and I'm not going to let myself pull me down anymore.
艺术不应是反映的镜子，而应是锻造的铁锤。
Mathematics is the art of giving the same name to different things.