OneIdentity

OneIdentity affects pattern matching:

It does not affect evaluation: