Jon Garcia comments on Formalization as suspension of intuition