let add proj kf b = add (snd proj) kf b