Page "Primitive recursive function#Examples" not found :(