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