User blog comment:Ubersketch/A proposal for a standard/@comment-11227630-20190813030043/@comment-11227630-20190813072358

Oh... I should have said it more clear. For 2 (and 3, respectively), I mean to remove all the \(\varphi\)-cases (\(\Xi\)-cases, respectively) in the chapter 4~5, resulting new chapter 4~5 as if there is no occurence of \(\varphi\) (\(\Xi\), respectively). This includes standard forms, so \(\varphi(\varphi(0,0),0)\) is not standard form of \(\varepsilon_0\) since there is no case for \(\varphi\).