let new_project () = (ProjBoolMarks.empty, KfTopVisi.create 10)