Vladimir_Nesov comments on Shifting Load to Explicit Reasoning