VariableReduction