8.2.1 Substitution sequence