Redirecting to Robinson arithmetic