 Brandom (2000: 63): What corresponds to an introduction rule for a propositional content is the set of sufficient conditions for asserting it, and what corresponds to an elimination rule is the set of necessary consequences of asserting it, that is, what follows from doing so.