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