processing a proposition Synonym