We may say that a sentence is true over a set of delineations at an index, iff, for any index /' that is like except perhaps at the delineation coordinate, the sentence is true at /' if and only if the delineation coordinate of i' belongs to.