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