Jason Aten's confusion was caused by a sensible literal reading of the definition of the specification, if one is unfamiliar with temporal logic. This problem was compounded by a poor choice of example in Chapter 2 of "Specifying Systems". I have been in contact with him and I expect he will see what's going on.
Leslie