So, a `tree` can be a terminal node (empty subcollection)? This seems odd.