Automation is not about replacing people, but about making their jobs safer and more efficient.

Theatre is a place where we can lose ourselves and find ourselves at the same time.

表演不是要成为不同的人。它是在看似不同的事物中找到相似之处，然后在那里找到自己。

一生的特权是成为真正的自己。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。