Fix some arbitrary human person; call him `Bob.' And suppose that Bob is conscious from to . From Proposition 1' it follows directly (by elementary first-order logic) that there is a TM , identical to Bob, such that , where this computation is identical to Bob's consciousness from to . But Theorem 1 implies that some algorithm reverses the computation in question. Hence, by Leibniz' Law, reverses Bob's consciousness from to . But consciousness, whether Bob's or yours or mine, can't be reversed. By indirect proof it follows that Proposition 1' is false (since Theorem 1, the other possible culprit, is just that: a theorem). And since this proposition is ``Strong" AI (or Computationalism) incarnate, it follows that this view is in turn false.