let
mk_full = (
Propset
(
Full
), 17)