let
of_disj d = [d]