removed TermEquivTwo.v