 We introduce the distinction in terms of having good reasons, but it can be generalized to other ways of being justified. If S has good reasons for believing a proposition, P, e.g., if S knows some propositions that straightforwardly entail P, S has a propositional justification for P. Note that P might be propositionally justified for S even though S does not believe P—while S knows propositions that entail P, the proposition P might never have even occurred to S. E.g., suppose S knows that her only pets are two cats. This entails that she has no pet hippopotamus, so this proposition is propositionally justified for S. But unless S is a little odd, this is not a proposition S currently believes. The formulation “P is propositionally justified for S” leaves open whether S believes P. The formulation “S is propositionally justified in believing P” indicates that P is propositionally justified for S and that S believes P.