let find proj kf = find (snd proj) kf