I thought that since usually `U` meant all the singular vectors, it would be confusing to also use it for a subset of singular vectors. But since we don't actually reference `U` here, maybe it is unnecessary.