Muß ich aber hier auch – um zu zeigen daß der rechte aus dem linken Satz folgt – φ & ψ ihre sämtlichen denkbaren Extensionen durchlaufen lassen?