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