let
is_composed pf =
Array
.length pf.proved > 1