Figure: Substitution propagation (2)