A logic for binary classifiers and their explanation