Input: Head: PersonX carries PersonY into execution<sep>Tail: for PersonY to be punished
Output: Yes