In paraconsistent logics like Priest's LP, contradictions can be true without trivializing the syste...