sameTerm operator