https://odireito.com/2005/12/10688/judex-non-debet-lege-esse-clementior/