Aber wird diese Möglichkeit nicht nur dort explicit wo man von (∃x) auf (x) übergehen kann?
  Ist nicht dort wo dieser Übergang nicht
möglich ist, dadurch alles in Ordnung gebracht gebracht?