Compact tree of Korneliske Troelstra