 Looked at more closely […a judgement of the form “Some S is P”] signifies a double judgement (Doppelurteil), one part of which acknowledges the subject, and, after the predicate has been identified in presentation with the subject, the other part acknowledges the subject which had been acknowledged all by itself by the first part, but with this addition—which is to say it ascribes to it the predicate P. (PES 295 [II 164; SVS 1, 413], translation amended)