Kant contrasted infinite judgments from negative ones with the help of figures. These figures were meant to be merely illustrative, i.e., they were not part of a proof method for syllogisms. In this paper, I develop them into a complete and correct diagrammatic proof method for syllogisms in which infinite and negative judgments are not logically equivalent. Whereas infinite judgments operate with a strong negation, negative judgments operate with a weak one.