done with trans-aux1, though tselx-rec could use some wf addition