where 2 : ℝ → ℝ