 By contrast, the three kinds of quality of judgments are supposed by Kant to capture the three basic ways in which the constituent concepts of a simple monadic categorical judgment can be either existentially posited or gesetzt, or else existentially cancelled or aufhebe, by respectively assigning non-empty actual extensions to concepts, or null actual extensions to concepts (A594–595/622–623). So Kant says that affirmative judgments are of the form “it is the case that Fs are Gs” (or more simply: “Fs are Gs”), negative judgments are of the form “no Fs are Gs”; and infinite judgments are of the form “Fs are non-Gs.”