working on semantic equivalence relation.