Counting Theories