愚忠愚孝真能维系天地间的伦常，可惜没有圣人栽培，不能进一步登堂入室；大奸诈者 ，偏能建立人世间的功业，若不是有英明君主操控，最终必成跳梁小丑。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

保持一颗永不僵硬的心，一种永不疲倦的性情，以及一种永不伤人的态度。