 The main argument points to the fact that minimal knowledge that the truth-functional truth condition is satisfied is enough for knowledge that if \(A, B\). Suppose there are two balls in a bag, labelled \(x\) and \(y\). All you know about their colour is that at least one of them is red. That’s enough to know that if \(x\) isn’t red, \(y\) is red. Or: all you know is that they are not both red. That’s enough to know that if \(x\) is red, \(y\) is not red. 