let k_min ()                 = !k_min_opt