Redirecting to Non-Aristotelian logic