 Second, the theorem shows that there is an intimate relationship between the individual epistemic principles and the properties on the relation. This, in turn, means that one, in general, may approach the “logic” in epistemic logic from two sides from intuitions about the accessibility relation or from intuitions about epistemic principles.