**Local accuracy:** SHAP values sum to the actual prediction. - **Consistency:** If a feature's contribution increases, its SHAP value never decreases. - **Missingness:** Features not in the model get zero SHAP value. - **Additivity:** For ensemble models, SHAP values of the ensemble equal the sum o