Removed the isDistributive predicate, since we're not doing anything with
it anyway.