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

Hypothesis: K can decide easily.
Relation: entailment