Distributive and relational equality · Study