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