#axiom
BAAAAAAAA
#rules
B<A -> B
B -> A
#end rules