to pet a cat