"When I approach a child, he inspires in me two sentiments; tenderness for what he is, and respect for what he may become."

I'm obsessed with reinvention. I'm obsessed with being a warrior for love.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

礼义法度，是随着时势而变化的。