艺术是一种提出社会不敢提出的问题的方式。

艺术是思考世界的一种方式。

The world is indeed full of peril, and in it there are many dark places; but still there is much that is fair, and though in all lands love is now mingled with grief, it grows perhaps the greater.

Diversity in thought and background leads to better solutions and stronger organizations.

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