Source: https://www.logique.jussieu.fr/~alp/quadrati.pdf