【译文】 孔子说:“早上理解真理,晚上死也值得。”
"The future of system design lies in the integration of formal methods with traditional engineering practices."
User thinking is more important than traffic thinking.