The lure of the 4 color theorem, is that it looks as though it could be solved with a simple logic, without a supercomputer. Then upon closer inspection you begin to wonder if it isn't going to take more than a supercomputer. It's a one step forward and an unknown number of steps back. You hope it was only two steps back at the most. If only.