 If \(A_{1}, A_{2}, \dots, A_{n} \models C\), then if, at time \(t\), \(S\) believes \(A_{1}, A_{2}, \dots, A_{n}\), then \(S\) ought to believe \(C\) at time \(t'\) (where \(t\) precedes \(t'\) suitably closely).