El oscuro cuarto caso de verificación de seguridad intrínseca