#axiom F--F--F #rules F->F+F--F+F #end rules