What should be in an XAI explanation? What IFT reveals