let print univ fmt = print_list fmt (Disj.print univ) ", "