$XAI en un área comprobable