Distributive Property Match