8 8 19-2

end grammar args? -add
bottom case - n a b x n a b -> _

write args in member1 in lpi

repeat infinite choice point to return when letters fails
 x sifter true
 
 x join member1 etc with member in it