proposition adder