Figure: Substitution propagation
Open figure