K is not needed