看了一下原文，有些地方没看懂，我想请问一下：在证明循环不变式的时候，论文中写道：如果一个值v的建议被选定，则每个被选定的更高序号的建议都拥有值v这里的问题是：这句话最后的“拥有”是什么意思？是新提出的建议的v值等于之前被选中的v，还是，这个建议有多个v值，其中包括了之前被选定的值v？