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