let proved id =
  let status = Properties_status.get_all (property_of_id id) in
  let rec is_checked l = match l with
    | [] -> false
    | (Checked { valid = True })::_ -> true
    | (Checked _)::tl -> is_checked tl
    | Unknown::tl -> is_checked tl
  in
  is_checked status