Ahora ejecuta "B" con el número "n" con valor “longitud de B +1” (tamaño umbral) ahora "B" producirá la misma salida que algún programa que ET dijo que era elegante, pero ese programa es de mayor tamaño que "B", con lo cual, ese programa no puede ser elegante dado que "B" devuelve la misma salida con un menor tamaño, por lo tanto ET predijo mal que "P" era elegante.