Hate the sin, love the sinner.
你的时间无法弯曲是因为我。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
You don’t have to get it perfect, you just have to get it going.