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