To eat bread without hope is still slowly to starve to death.
真实的生活缺席了。我们不在这个世界上。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."