Therefore the proper-class conclusion rests on classical logic's ex contradictione quodlibet, which ...