https://panbeh.com/product/b0002925-an-introduction-to-the-new-logic/