We're getting close to an algorithm.
Will get a matching that's maximal-plus-plus. But there are still some unanswered questions.
