Redirecting to Paraconsistent logic