O que acontece se fizermos um programa cujo único propósito é executar a função contrária e executar esse programa com ele mesmo como entrada? Uma possibilidade é que a chamada para selfhalt retorne verdadeira; isto é, selfhalt afirma que o contrário irá parar quando executado em si mesmo. Nesse caso, o contrário entra em um loop infinito (e, portanto, não pára). Por outro lado, se a auto-parada retorna falsa, então a parada é proclamar que o contrário não se detém em si mesmo, e o contrário retorna, isto é, para. Assim, o contrário faz o contrário do que a parada diz que fará.