我们都在阴沟里，但仍有人仰望星空。

卡塞尔文献展是世界艺术意识的镜子。

子贡问：“孔文子凭什么获得‘文’的称号？”孔子说：“灵敏又好学，向比自己学问差的人请教时，不觉得没面子，所以称为‘文’。”

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world.

模型检查是验证硬件和软件系统正确性的强大工具。