let
mk_conjunction_named =
Logic_const
.pands