In kodkod, when a relation is not referred in the formulas, it is always assigned the lower bound. By creating a formula for the temporal instance, every relation is referred, making iteration inconsistent.