Pruned from the main tree.