(∃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 Subtraktion von Möglichkeiten endlich eine Kontradiktion erzeugt?