distributive restriction