added statement that the category A/C is additive; provided weak-sauce argument