The claim that premise (1) is entailed a priori by EXT requires the contentious further premise that...