Distributive Equality