Realmente en la práctica la verificación y la prueba rara vez son posibles.