“It seems that the standard protocol for solving most problems is to determine all of the ways that the problems can’t be solved.”