Redirecting to Brouwer–Heyting–Kolmogorov interpretation