r: proper multiple step (restricted) (restricted)
s: reflexive transitive closure (star)
u: proper single step (restricted) (unit)
r: proper multiple step (restricted) (restricted)
s: reflexive transitive closure (star)
u: proper single step (restricted) (unit)