https://wayneh.tw/posts/phlosophy/books/metaphysic/hale-and-hoffman-modality-metaphysics/4modal-logic-within-counterfactual-logic/