toFormula (Atom (Geq l r))         = join $ Z.mkGe <$> toExpression l <*> toExpression r
toFormula (Atom (Geq l r))         = join $ Z.mkGe <$> toExpression l <*> toExpression r
toFormula (Atom (Geq l r))         = join $ Z.mkGe <$> toExpression l <*> toExpression r