Es ist nicht möglich daß eine Extension einer Intension logisch äquivalent sein soll || ist.
     Es kann nur eines geben.