so T is optimally pruned. Otherwise