let S = stCayley bNatMinPlus in let T = stCayley bNatMinPlus in stUnion (stSelLex S (stLeft (ST_SG T))) (stSelLex (stRight (ST_SG S)) T)

