#ignore + -
#axiom
F[A]B
#rules
F > [A]B -> FF
#F > B -> FF