$\require{cancel}$ $\require{newcommand}$ $\newcommand{\Equi}[1]{\stackrel{\stackrel{#1}{\curvearrowright}}{=}}$ $\newcommand{\b}[1]{\color{dodgerblue}{#1}}$ $\newcommand(1="") \color{darkred}{#1}$ $\newcommand{\gr}[1]{\color{green}{#1}}$ $\newcommand{\pu}[1]{\color{slateblue}{#1}}$ $\newcommand{\y}[1]{\color{goldenrod}{#1}}$ $\newcommand{\title}[1]{\underline{\text{#1}}}$ $\newcommand{\cm}{\text{ cm}}$ $\newcommand{\m}{\text{ m}}$ $\newcommand{\mm}{\text{ mm}}$ $\newcommand{\km}{\text{ km}}$ $\newcommand{\functionmachine}[5]{\large {#1\Longrightarrow \atop #2 \Longrightarrow}\bbox[15px, darkslategrey, border:4px solid steelblue]{\color{linen}{#3}} {\Longrightarrow #4 \atop \Longrightarrow #5}}$