via negativa (acting by removing) is more powerful and less error-prone than via positiva (acting by additionfn1).