https://thebossmind.com/primitive-recursive-functions-explained/