User blog comment:Ubersketch/CNF in my FSS definition/@comment-35470197-20190808221731/@comment-34422464-20190808224642

Not true, since 0 is defined without using functions, and S(a) is defined without using O.