How do you solve hard problems if you can't make incremental progress?
diN0bot: norvig actually does make incremental progress in understanding the problem/solution space in terms of constraints, bounds and correctness.