diff --git a/algumas_notas_suplementares.md b/algumas_notas_suplementares.md
index b8b1c52..abf7754 100644
--- a/algumas_notas_suplementares.md
+++ b/algumas_notas_suplementares.md
@@ -1,28 +1,25 @@
 # O que é isto?
 Este documento pretende tornar mais claro o funcionamento do polymani.pl. Para
-isso explicamos brevemente a estrutura e o funcionamento de alguns predicados mais
-que de outro modo poderiam parecer "abstratas".
+isso explicamos brevemente a estrutura e realçamos algumas particularidades de alguns predicados que de outro modo poderiam parecer "abstratos".
 
-## Estrutura
-### Frontend
-O frontend tem todos os predicados usados para interação conforme especificado
+## Algumas palavras sobre a estrutura e o frontend
+O polymani divide-se em frontend e backend. O backend tem todos os predicados usados para interação conforme especificado
 no assignment1.pdf.
 
 Por outro lado, para que uma melhor experiência de utilização fosse possível, tomamos a liberdade de implementar dois predicados auxiliares que, para inputs inválidos, disponibilizam uma explicação mais amigável do erro.
 
-### Backend
+## Backend
 Abaixo descrevem-se alguns predicados selecionados com vista a tornar a
-compreensão dos mesmos mais rápida e simples. Em alguns casos o objectivo foi
-destacar algumas particularidades que podem não ser evidentes numa primeira
+compreensão dos mesmos mais rápida e simples destacando-se algumas particularidades que poderiam não ser evidentes numa primeira
 leitura.
 
-#### power
+### power
 As comparações CLPFD permitiram-nos comparar se uma determinada variavel
 pertencia um determinado domínio sem para isso termos de sacrificar a
 reversibilidade das variáveis. CLPFD stands for Constraint Logic Programming
 over Finite Domains.
 
-#### term
+### term
 Um termo é uma sequência de monómios sem adições.
 Este é um elemento fundamental deste programa tendo sido extensivamente testado.
 
@@ -35,7 +32,7 @@ sao tratadas pelo terceiro e quarto predicado).
 O quinto predicado faz chamadas recursivas para validar uma multiplicação de
 monómios.
 
-#### simplify_term
+### simplify_term
 Começamos por convert um termo numa list de monómios.
 
 Ordenamos os monómios do por ordem crescente (isto é, de menor grau para maior