 Even if we restrict attention to the context of justification, a deductive proof yields categorical knowledge only if it proceeds from a secure starting point and if the rules of inference are truth-preserving. Can our confidence that these two conditions obtain also be grounded purely deductively? These conditions will be considered in turn.