constraint : each move in the sequence of moves corresponds to one Move