. "That is, the semantics is itself a function: The semantic function S takes a sequence of commands and returns a function that takes a store and returns a store where a store is a function that takes a variable name and returns its value." . . .