 The reader should be warned, however, that the neat correspondence between axioms and conditions on frames is atypical. There are condtions on frames that correspond to no axioms, and there are even conditions on frames for which no system is adequate. (For an example see Boolos, 1993, pp. 148ff.)