let of_disj d = [d]