In 1973 Haken cured himself of his addiction with the help of an equally famous conjecture, the four- color problem,* which he solved with colleague Ken Appel four years later. "I shall not go back," he vows, then adds, in a disconcerting way, "unless it's to look for counter-examples." As for Poenaru, wh