Distributive and relational equality | Synapse