Input: Head: PersonX proves PersonY point<sep>Tail: relieved
Output: 


Answer: Yes