Input: Head: PersonX develops PersonY theory<sep>Tail: to prove to the world that PersonY was right
Output: Yes