Now go to \(a_3 = a_2 + 3\text{,}\) using our known value of \(a_2\text{:}\)

\begin{equation*} a_3 = ((a_0 + 1) + 2) + 3\text{.} \end{equation*}