Added term equivalence