does not make sense
going back
time to sleep... seems like we need to generalize tselx to be consistent with a varx, this could make things easier actually