Page "0, ∞), and [let" not found :(