Input: Head: person<sep>Tail: proof
Answer: Yes