(∃x)fx ∙ ~fa, (∃x)fx ∙ ~fa ∙ ~fb ∙ ~fc.
„Das Kreuz befindet sich irgendwo zwischen den Strichen, außer in der Lage a.” Man könnte nun fragen: wird durch solche fortgesetzte Subtraction von Möglichkeiten endlich eine Kontradiction erzeugt?