Input: Head: PersonX proves PersonY's point<sep>Tail: triumphant
Output: 


Answer: Yes