Crucially, \(\divi\) is not only a function in the classical sense; it is also a function in the intuitionistic sense, that is, a program which computes the output \((q,(r,(s,t)))\) when given \(m\), \(n\), \(p\) as inputs. This program is a term in a lambda calculus with special constants, that is, a program in a functional programming language.