Input: Head: store<sep>Tail: establish
Answer: Yes