(ι → ι) → ι → ι, solve the equation below