Nothing OCF

Nothing OCF is a weak OCF, defined by CatIsFluffy. It is similar to many other OCFs in definition, but omits addition. Therefore, the growth rate is much, much slower. It is believed to correspond to a weak version of Extended Buchholz's function, also defined by omitting addition, and that it catches up to the ordinary version of EBOCF by EBO. However, no proof of either of these claims has been given and they remain open questions.