add antidistributive function