Semantics equivalence.