This latter statement, which is universal, could be extensionally significant only if basic statements could contradict it; that is to say, if basic statements could establish the existence of more than one such value.