Sound Explanation for Trustworthy Machine Learning