#semantic-equivalence