Multiple object individuation and exact enumeration