naming rules for reduction