Definition:Primitive Recursive