TODO for sub-tree opacity