#axiom X #rules X -> F[+X][-X]FX F -> FF #end rules