I think that this leaves us with a challenge: we don't have many explainability techniques that are substantially less work to verify than completing the task manually.