method clean_kf_result kf r =
    Zone.filter_base (Db.accept_base_internal kf) r