* Each iteration of the method refines information, does not change the meaning of the iterated variables and does not shrink information. | * Each iteration of the method refines information, does not change the meaning of the iterated variables and does not shrink information. |