initial subtree
final