https://camera-optical-zoom.blogspot.com/2022/09/propositional-logic-in-order-to.html