User blog comment:O0112111/Uncomputable Number/@comment-35470197-20190927141227/@comment-35470197-20190927222947

The definition includes incomplete case classification, because the first case refers to an unspecific (especially unquantified) j and the second case refers to the non existence of a j.