The young do not know enough to be prudent, and therefore they attempt the impossible, and achieve it, generation after generation.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."