Writing rules for sequences