Source: https://girard.perso.math.cnrs.fr/FILMS.pdf