Obvious premises include: if a student knows any statement on day, then it is true: for each i; Also, we may require the 'deductive closure of knowledge': if a student knows that on day, and knows that if then on day, then she knows that on day i: Ki Ki for each i; This premise is, in general, false people may know all the premises of a deductive argument without knowing the conclusion.