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