Second, we need (though its use could perhaps be avoided) what has been called the double principle: that if a student knows on day that, then the student knows on day that she knows on day that p: Ki Ki Ki for any i; See Moore's paradox ('p, but it is not the case that I believe