 The principle says, necessarily, if \(p\) is known then it is known that \(p\) is known. One other resource is used, namely, the closure principle which says that the antecedent of a necessary conditional is possible only if the consequent is possible.