Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables