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