Formal verification is like marriage with a prenup vs marriage with...