A continuación, "Diagonal" hace lo opuesto: Si "w" termina entonces "Diagonal" entra en un ciclo infinito y si "w" entra en un ciclo infinito entonces "Diagonal" termina.