Improved variable substitution