Redirecting to Heyting arithmetic