' / 2 k if.