The OCF used is Extended Buchholz's psi.You can download at https://stephenbrooks.org/archive/ord... .It says psi_0(I) because... well, I don't really know why, but there is an extension that uses I.