In “Are You Living in a Computer Simulation?”, Bostrom argues that at least one of the three following propositions must be true: