The Wiki Says B Minus A Minus Two C

Luchins ran the water-jar experiment in 1942. Trained subjects used the long method on 112 of 112 test problems; the untrained control group never used it at all. The method does not arise on its own. It is installed.