Counting is very hard