Source: https://www.mapageweb.umontreal.ca/lepagef/dept/cahiers/Seymour_LOGIQUE.pdf