Input: Sentence 1: Boaz has worked out every possible detail of his libertarian heaven in an utterly comprehensive and slightly mad way. Sentence 2: Every facet of Boaz's libertarian heaven has been mapped out in thorough and eccentric detail.
Output: 

 yes