This is at once clear, if instead of “ F ⁡ ( F ⁡ u ) ” we write “ ( ∃ φ ) : F ⁡ ( φ ⁡ u ) . φ ⁡