Distributive Property Expansion