How Many Mice Are There