Definition:Substitution for Well-Formed Part