let
get proj kf =
try
find proj kf;
true
with
Not_found
->
false