Banishing the Rule of Substitution for Functional Variables