Source: https://members.loria.fr/Roegel/loc/logique-pdf.pdf