Two outfits, one discipline
Good thinking and good data are the same discipline wearing two outfits. A valid argument moves from premises to conclusion without smuggling anything in; a well-formed data structure moves facts around without losing or duplicating them.
This corner of Numbers connects valid reasoning to the structures that hold real information — proofs and tables, inference and indexes — because both are, at heart, about steps you can trust.
Reference entries are on the way. Until then, treat every 'therefore' as a claim that has to earn its place.