OCaml
axiom