Pointed protomodularity via natural imaginary subtractions

We present a new approach to pointed protomodular categories with binary coproducts, via so-called natural imaginary subtractions. This allows, among other things, to emphasize some new aspects of the similarity and the distinction between these and additive categories.