φ₁ is a normal function; next-ε β is the LEAST ε-number above β (BH climb rung 3, slice 3) (#244) · hyperpolymath/echo-types@3f5f266