My remark above reminds me of that old joke about mathematicians ...
Say, a mathematician is posed with the problem of finding a black cat at night in a dark room. Well, eventually he'll figure out how to do it. He then writes down how to do it and proves that it works.
Next, he's given the problem of finding a black cat at night in a bright room.
Well, what does he do? He switches off the light, thus reducing the problem to one already solved.