SVT relying on nonfunctional Proj_sub