User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190829142904/@comment-35392788-20190829164722

Rathjen's \(\chi\)'s properties are helpful and useful for analysis, but they don't really add strength to the system. The short analysis I've done places UNOCF at the same level, and UNOCF uses quite basic recursion.