E. Orlando, “General terms and rigidity: another solution to the trivialization problem”, Manuscrito - Rev. Int. Fil., vol. 37, nº 1, p. 51–84, nov. 2015.