TAG comments on Formalization as suspension of intuition