MatcherState: MatcherState