Reworking section 1.1, adding Brandom quotes