Distribution priority-and-or instead of buggy priority-and.