Rules for Substitution Variables