"The future of system design lies in the integration of formal methods with traditional engineering practices."

You have to believe in yourself when no one else does.

道德的基础是对他人的同情。