Counting Solutions