可持续性不是一种选择；它是我们行业未来的必需品。
逻辑学研究不仅仅是关于形式系统，更是关于理解人类推理的本质。
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
自由就是没有选择。