Nature hath made men so equal in the faculties of body and mind, as that though there be found one man sometimes manifestly stronger in body or of quicker mind than another, yet when all is reckoned together the difference between man and man is not so considerable as that one man can thereupon claim to himself any benefit to which another may not pretend as well as he.
"Books are the keys to unlocking our imagination."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."