Figure:
Substitution
propagation
Open figure