https://9lib.org/document/yd7mpxey-intensio-leibniz-creating-new-term-modal-logic.html