  In Paul of Venice’s other major work, the Logica Magna (circa 1400), he gives some pertinent examples of particular negative propositions that follow from true universal negatives. His examples of true particular negatives with patently empty subject terms are  these:[18]