Simplify `Match` and `Mismatch`