Variables are names: the th variable intension now becomes that intension that assigns to every index the character at the world coordinate of of the thing that is the th term of the assignment coordinate of.