But if mathematics is paraconsistent, then you might not have!