The problem with engineers is that they tend to cheat in order to get results.
The problem with mathematicians is that they tend to work on toy problems in order to get results.
The problem with program verifiers is that they tend to cheat on toy programs in order to get results.
the UNIX fortune-cookie program; original source unknown
A monthly thread for posting any interesting rationality-related quotes you've seen recently on the Internet, or had stored in your quotesfile for ages.