https://9lib.org/document/qmjvd4xw-finite-model-theory.html