Compact tree of Thankful Benham

Include the "next history" button HERE.