Justificação mandado de segurança – Antônio Martins da Silva Carvalhais; Francisco Barreto de Abreu (1745)