Definition 2.2.8 (beta indexing). The function $\beta :{\mathbb{N}}^2\to \mathbb{N}$ is defined by $\beta (x,i)=a\%(m(i+1)+1)$, where $a$ and $m$ are the unique numbers such that $x=⟨a,m⟩$.