Psychological understanding comes from seeing function in action.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

Zero Defects is a performance standard. It is the standard of the craftsman, regardless of his or her trade.

Forget about having an identity crisis and get some identity capital.