The stories we tell ourselves shape who we become.
The best way to predict the future is to create it.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
绘本中的沉默可以比文字更响亮。
I am a formalist.