Redirecting to Heyting algebra