Text this: Diagonalization and self-reference