This is the first book to develop a comprehensive epistemic theory of checking. The author argues that sensitivity is necessary for checking but not for knowing, thereby finding a new home for the much discussed modal sensitivity principle. He then uses the distinction between checking and knowing to explain central puzzles about knowledge.