step 1: Try to prove that a solution cannot exist. step 2: Challenge assumptions about implicit requirements, the scope of applicability of explicit requiremen

step 1: Try to prove that a solution cannot exist. step 2: Challenge assumptions about implicit requirements, the scope of applicability of explicit requirements, and boundary conditions. Then, in some magical moment, a loophole opens, and a solution manifests. I love that feeling. I wish there were more such hard but then not so hard problems.