MatchingState fully tested
comments