Redirecting to Intuitionistic logic