 So just on house cats, domestic cats, although we're fine with some cats that live healthy and happy outdoors. And we are a resource to the community in greater Cincinnati. So we spay and neuter about 10,000 cats every year. Wow.