  (i) It is assumed that S knows x, only if S knows that x is true—a requirement not underwritten by standard definitions of knowledge, which tell us that S knows x, only if x is true and S is justified in believing x. The assumption may rest on confusing requirements for knowing x with requirements for knowing that one knows x.