https://cazemubysuzyjyga.rangelyautomuseum.com/nominal-tense-logic-and-other-sorted-intensional-frameworks-book-26389le.php