Redirecting to Primitive recursive arithmetic