User blog comment:Wythagoras/All my stuff/@comment-7484840-20130708083606/@comment-5150073-20140715164707

Deedlit, in your 4-rule ruleset for $$\varepsilon_0$$: the last rule doesn't tell an explicit algorithm which results to that "smallest" k.