The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
处理一个不自由的世界唯一的方法就是变得如此绝对自由，以至于你的存在本身就是一种反叛。
The elements of consciousness are to be classified according to their properties.
建筑应该是安静的，但不是沉默的。
模型检查是验证硬件和软件系统正确性的强大工具。