What's wrong with the substitiutions that will now be generated?  Ie, why aren't they fully-principled?