K has no trouble deciding which it is now that he needs a few second-order considerations to refine his argument.
K can decide easily.