XAudit : A Theoretical Look at Auditing with Explanations