⁸In fact, the paper shows that the problem defines a contraction mapping even under a somewhat weaker condition than the GIC (though the FVC is always required); however, for present purposes the only interesting solutions are those for which the GIC condition holds, so we impose it as sufficient even if not necessary.