§ CP trick: writing exact counting as counting less than