The Product Rule for Counting