" - L is a list for the initial state" . . . .