File:Partial substitution.png