You can’t change the past, but you can change the future.
在英雄联盟中,团队合作就是一切。
Liberty is the right of doing whatever laws permit.
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
Innovation is the only way out, eliminate yourself, or competition will eliminate us.