sanity check in MatchBelow