Notes on the discussion about formalism