axiom F+F+F+F+F+F
F {
    1/1 F-F++F-F
}