"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The only purpose for which power can be rightfully exercised over any member of a civilized community, against his will, is to prevent harm to others.