done with incompat cases, tselx-rec1 and tselx-rec2, only tselx-rec to itself remaining