propositional sum