(which is 2 * kmin, and which I think isn't quite right...)