Figure:
Substitution
propagation (2)
Open figure