 By contrast again, the three kinds of relation of judgments are supposed by Kant to capture the three basic ways in which simple 1-place subject-predicate propositions can be either atomic (elementary) or molecular (compound) in respect of their truth-values. So Kant says that categorical judgments repeat the simple atomic 1-place subject-predicate form “Fs are Gs”; molecular hypothetical judgments are of the form “If Fs are Gs, then Hs are Is” (or: “If P then Q”); and molecular disjunctive judgments are of the form “Fs are either Gs or Hs or …” (where each partition of the total domain is mutually exclusive and the total set of partitions is exhaustive).