OCaml
tautologico