base F
rule F F[+F]F[-F]F F[+F]F F[-F]F