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