 Contemporary analyses of the concept of consequence—of the follows from relation—take it to be both necessary and formal, with such answers often being explicated via proofs or models (or, in some cases, both). Our aim in this article is to provide a brief characterisation of some of the notions that play a central role in contemporary accounts of logical consequence.