Indeed. I think that what OCaml proved is that the "O" isn't actually necessary. :)