to pet a cat.