let
mk_ite = (
Propset
(
Ite
), 18)