 Third, if an agent knows that it is completely the case as a sentence signifies, does he know that everything it signifies is the  case?[34]  The problem of conceding a sentence whose meaning is deductively closed by an agent with a finite cognitive capacity is solved by introducing a distinction parallel to (K) and (O) ([RSS] 1494: fol. 15rb [1988b: 460]); Heytesbury denies: