Currently K is random. Ideally default should be deterministic, perhaps with option for random if needed for some reason.