Compact tree of Michael Kirby

Include the "next history" button HERE.