The article claims that SHAP value has no formal justification. However, Shapley value has a strong theoretical justification. In fact, it is the only game-theoretic attribution system with the four intuitive properties, Efficiency, Symmetry, Linearity and Null player.