!mismatch is always true