The check you can write is the check you can fool

O autor propõe um teste restrito para a verificação de sistemas de IA: se o sistema sendo verificado poderia ter produzido a própria verificação. Esta abordagem enfatiza a proveniência da evidência para uma verdadeira verificação, em vez de depender apenas de mecanismos internos como autoavaliações.