The space hierarchy theorem's proof relies on a diagonalization argument that presupposes a universa...