MIRANDA, Manuel António da Fonseca See original record