Cantor's_diagonal_argument loading ...