counting is hard