Input: Head: PersonX finds a wallet<sep>Tail: open the wallet
Output: Yes