Exempting contradictions from additivity is thus an artifact of classical logic's ex contradictione ...