User blog comment:Moooosey/dco + decord sequence/@comment-35470197-20191009222350/@comment-35470197-20191010125335

Unfortunately, the current system is still ill-defined.
 * Rule 3 includes a circular logic because it is applicable to epsilon numbers. Or specify the conditions on a.
 * Rule 5 is wrong, because the sequence does not converge to e_0.
 * Rule 6 does not make sense, because the equality is given by the definition, and is irrelevant to fundamental sequences.
 * Rule 7 conflicts Rule 4, because e_0 is presentable by Veblen function. Or specify the condition on a.