axiom F
F {
  1/3 F[++F][-F]F[---F[--F]],
  1/3 F[-F][++F]F[+++F[++F]],
  1/3 F[++F][-F]F[+F]
}