Before revision:  In this paper, we question the faithfulness of such symbolic explanations .
After revision:  In this paper, we question whether these models are really behaving as we expect .