Consider the machine which receives x as input and simulates Turing machine number x in our standard enumeration until it wishes to halt. This machine then adds one to the result and halts. In other words, we are examining the machine: M(x) = Mx(x) + 1. What happens when this machine receives its own index as input?