let
ip_external f =
ip_complete f @ ip_disjoint f