凡是在地方上做官的人,知道自己的职责吗?应该是百姓的仆役,而不是役使百姓的人
I'm a champion because I think like a champion.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."