Definition:Substitution Instance of Well-Formed Formula