Compact tree of Lemma Norene Goodnight