K=2

I finished k=2, the difficult case