See [alg.mismatch].