In paraconsistent arithmetic, the loss of ex contradictione quodlibet comes at the cost of blocking ...