translations from Guilherme Dantas, Paulo Henrique Damasceno Machado and Roberto de Carvalho Pimentel