我不迷信，但我有点小迷信。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
我不随波逐流，我引领潮流。
The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. )
