base X
rule X F[+XL][-XL]FXL
rule F FF