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 at toy

problems in order to get results.

- 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 at toy problems in order to get results.... - A business, like an automobile, has to be driven
in order to get results.

-- B.C. Forbes, publishe... - Inside every small problem is a large problem struggling to get out.
- Hoare's Law of Large Problems: Inside every large problem is a small problem struggling to get out.
- Inside every large problem is a small problem struggling to get out.

-- Hoare's Law of Large Problem... - Inside every small problem is a larger problem struggling to get out.

-- The Schainker Converse to Hoare's Law of Large Problem...