Before everything gets awful again, I'm going to make the statement proper of Catchpole-IIA if Craig persists in assigning stuff with people's names. Catchy-IIA (Deterministic Independence of Removal of Irrelevant Alternatives) "The removal (ceteris paribus) of any combination of candidates who fail to be elected does not alter the outcome"