Remove distributive constraint