Source: https://www.lri.fr/~filliatr/1.9/leuven-may-2017/slides/Jacobs.pdf