Simplification and Distributive Property