Source: https://www.csa.iisc.ac.in/~deepakd/fmse-2022/refinement/rodin-doc.pdf