add quantifier sumti and quantifier selbri