 Serafim Leite, in "Arts and Workshops of the Jesuits in Brazil,", says the printer worked from 1703 to 1706, and argues that the typesetter was a Jesuit, Antonio da Costa, but there is no proof, however, the existence of such a printer.In Rio de Janeiro, in 1747, there is definitive evidence is available that there was a printer, via leaflets printed at the time.The printer was Antonio Isidoro da Fonseca, a recognized typographer of Lisbon, who had sold his business and come to [Brazil].