 \(G\) takes as input the Gödel code of a Turing machine \(A\). Then it runs \(H\) on input \((\langle A\rangle ,\langle A\rangle)\). If \(H\) on input \((\langle A\rangle ,\langle A\rangle)\) returns “no” we know that \(A\) is heterological, and \(G\) is halted. If, on the other hand, \(H\) on input \((\langle A\rangle ,\langle A\rangle)\) returns “yes” then \(G\) is forced into an infinite loop (that is, is forced to never halt). 