Proposition additive