The check you can write is the check you can fool

El autor propone una prueba estricta para la verificación de sistemas de IA: si el sistema que se está verificando podría haber producido la propia verificación. Este enfoque subraya la importancia de la procedencia de la evidencia para una verdadera verificación, en lugar de depender únicamente de mecanismos internos.