adding TermEquivTwo.v