. . "Suppose M is a structure for L and s : V ??? |M|" . .