never try to explain cantor's diagonalisation argument to your software engineer father