Rule for sequence progression