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