"The future of system design lies in the integration of formal methods with traditional engineering practices."
我们在实现同情、利他和爱的人类潜能方面还有很长的路要走。
真相很少纯粹,也绝不简单。