"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"The past is always tense, the future perfect."
The heart breaks and breaks and lives by breaking.