User blog comment:King2218/FGH Things/@comment-25418284-20140305080757/@comment-25418284-20140307071625

but in general \(f_{\varepsilon_0}(n + 1) \neq f_{\varepsilon_0}(f_{\varepsilon_0}(n))\), so that doesn't seem very consistent

i recommend that you work out these details before you launch into a larger system