Consider a Cantor-list with entries a_n and anti-diagonal d:
For every n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n). For every n: (a_n1, a_n2, ..., a_nn) is terminating. For every n: (d_1, d_2, ..., d_n) is terminating.
For all n: (a_n1, a_n2, ..., a_nn) =/= (d_1, d_2, ..., d_n). For all n: (a_n1, a_n2, ..., a_nn) is terminating. For all n: (d_1, d_2, ..., d_n) is *not* terminating.
