Angenommen nun ich habe zwei (klare) Systeme so kann man nicht nach einem System fragen, das sie beide umfaßt. Denn nicht nur kann ich dieses System jetzt nicht suchen, sondern auch wenn || im Falle sich einmal eines zeigt das zwei den ersten analoge Systeme umfaßt, sehe ich daß ich es nie hätte suchen können.