Text: K has no trouble deciding which it is now that he needs a few second-order considerations to refine his argument.
Entailment: K can decide easily.
Contradiction: K cannot decide which considerations I need.