Redirecting to O-minimal theory