--- license: mit --- the paper is `gmp.tex` or `gmp.pdf`