Keith, stop trying to make the algorithm "correct". Instead of a single, grand theory, make it a collection of heuristics which play together nicely and fail gracefully. It's how nature works dumb-ass.