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