SD2: Derivation of one-hot additivity criteria: