. . . "By definition, if s is a system transitional state, picked(s) is the empty set." . .