Compact tree of Annie LADYMAN