There are exactly four dogs.