2f0a8.. ⟶ ∀ x0 : ((ι → ο) → ο) → ((ι → ο) → ο) → ο . (∀ x1 : (ι → ο) → ο . ∀ x2 : ο . (∀ x3 : (ι → ο) → ο . x0 x1 x3 ⟶ x2) ⟶ x2) ⟶ ∀ x1 : ο . (∀ x2 : ((ι → ο) → ο) → (ι → ο) → ο . (∀ x3 : (ι → ο) → ο . x0 x3 (x2 x3)) ⟶ x1) ⟶ x1 |
|