https://9lib.org/document/q5m95jm3-the-semantics-of-full-first-order-logic.html