done with that proof but lost without-k