let ip_external f =
  ip_complete f @ ip_disjoint f