 Among destructive thought experiments, the following subtypes can be identified: the simplest of these is to draw out a contradiction in a theory, thereby refuting it. The first part of Galileo’s famous falling bodies example does this. It shows that in Aristotle’s account, a composite body (cannon ball and musket ball attached) would have to fall both faster and slower than the cannon ball alone. A second subtype is constituted by those thought experiments that aim to show that the theory in question is in conflict with other beliefs that we hold. Schrödinger’s well-known cat paradox, for instance, does not show that quantum theory (at least on some interpretations) is internally inconsistent (see Schrödinger 1935, p. 812; translation: Trimmer 1980, p. 328): “A cat is penned up in a steel chamber, along with the following diabolical device (which must be secured against direct interference by the cat): in a Geiger counter there is a tiny bit of radioactive substance, so small, that perhaps in the course of one hour one of the atoms decays, but also, with equal probability, perhaps none; if it happens, the counter tube discharges and through a relay releases a hammer which shatters a small flask of hydrocyanic acid. If one has left this entire system to itself for an hour, one would say that the cat still lives if meanwhile no atom has decayed. The first atomic decay would have poisoned it. The q-function of the entire system would express this by having in it the living and the dead cat (pardon the expression) mixed or smeared out in equal parts.” This thought experiment shows that quantum theory (as interpreted by Bohr) is in conflict with some very powerful common sense beliefs we have about macro-sized objects such as cats––they cannot be both dead and alive in any sense whatsoever. The bizarreness of superpositions in the atomic world is worrisome enough, says Schrödinger, but when it implies that same bizarreness at an everyday level, it is intolerable. There is a third subtype of negative thought experiments, namely when, in effect, a central assumption or premise of the thought experiment itself is undermined. For example, as we have seen above, Thomson showed with her thought experiment that “right to life” and “right to what is needed to sustain life” had been run together. When distinguished, the argument against abortion is negatively affected.