Culture is not just one aspect of the game, it is the game.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
A happy person is not a person in a certain set of circumstances, but rather a person with a certain set of attitudes.
Be yourself and don't care what others think.