An Analysis of Logical Substitution