 Let us begin an examination of CP1 and the general closure principle, CP, of which CP1 is an instantiation. Closure certainly does hold for some properties, for example, truth. If p is true and implies q, then q is true. It just as clearly does not hold for other properties, for example being surprising. It might be surprising that Tomás is taller than his father, but it is certainly not surprising that Tomás is taller than someone, and yet the former entails the latter. What about justified belief? Does Closure hold for it?