【译文】不要轻信那些所谓特别正直的人，也要防备那些标榜仁义却不仁义的人。山里有长得笔直的树，世上却无正直的人。
奋斗永不停息。
没有故事，我们只是骸骨与尘埃。
Regulations shouldn't strangle the industry that powers the nation.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。