I owever, be that as it may, it is in actual statements such as that the point of modal logic lies, and it is the comparison of with that reflects true relationship between the use of statement operators and that of semantical predicates.