Charles Peirce’s diagrammatic logic - the Existential Graphs - is presented as a tool for illuminating how we know necessity, in answer to Benacerraf’s famous challenge that most “semantics for mathematics” do not “fit an acceptable epistemology”. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not just to individual things but to how those things are related in larger structures, certain aspects of which force certain others to be a particular way.