Just a couple simple rules and a bunch of paradoxes could be eliminated without resorting to paraconsistent logic.