Source: https://logica.ugent.be/albrecht/thesis/Etten-intro.pdf