distributive pairing