primary proposition Synonym