#axiom L #rules L->R+L+R R->L-R-L #end rules