Source: https://www-labs.iro.umontreal.ca/~monnier/1215/notes-logic.pdf