 Although the semantics of Priest’s connexive logics is simple and transparent, the underlying idea of subtraction negation is not unproblematic. Priest (1999, 146) mentions strong fallibilists who “endorse each of their views, but also endorse the claim that some of their views are false”. Their contradictory opinions in fact hardly are contentless, so that the cancellation account of negation and, as a result, systems of connexive logic based on subtraction negation appear not to be very well-motivated. In Skurt and Wansing 2018, it is argued that the metaphoric notion of negation as cancellation is conceptually unclear and that Routley’s (Routley et al. 1982)) suggestion to replace it by a notion of negation as subtraction in generalized arithmetic is unclear at least insofar as it has not been worked out in detail.