let mk_compl a = mk_ite a (mk_empty()) (mk_full())