Input: Head: PersonX proves PersonY point<sep>Tail: none
Answer: Yes