_map_ ← { a1‿a2 _𝕣_ b1‿b2 s: b1 + ((s - a1) × b2 - b1) ÷ a2 - a1 } ZeroTen ← 0‿10 _map_ ¯1‿0 •Show ZeroTen 0.1 •Show ZeroTen 8