conditions-on-a-distributive-law