tokens: A formula in counting monadic second - order logic ( CMS formula ) is a formula in monadic second - order logic , extended by pradicates for , with iff , and by incidence predicates for , with iff and .