Revisions of perspective are summarized as follows.
4 of domain alteration on variable X, if the number of instances of X turns into more than one and the current perspective includes no aspect relating to X, that is, X is a uniquely instantiated variable, check , and § ¦ l X in this order, and add the first possible one to the perspective.