diff --git a/algumas_notas_suplementares.md b/algumas_observacoes_suplementares.md
similarity index 68%
rename from algumas_notas_suplementares.md
rename to algumas_observacoes_suplementares.md
index abf7754..b9d9632 100644
--- a/algumas_notas_suplementares.md
+++ b/algumas_observacoes_suplementares.md
@@ -1,17 +1,21 @@
 # O que é isto?
-Este documento pretende tornar mais claro o funcionamento do polymani.pl. Para
-isso explicamos brevemente a estrutura e realçamos algumas particularidades de alguns predicados que de outro modo poderiam parecer "abstratos".
+Este documento pretende tornar mais claro o funcionamento do polymani.pl.
+Para isso explicamos brevemente a estrutura e realçamos algumas 
+particularidades de alguns predicados que de outro modo poderiam parecer 
+"abstratos".
 
 ## 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.
+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.
+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
 Abaixo descrevem-se alguns predicados selecionados com vista a tornar a
-compreensão dos mesmos mais rápida e simples destacando-se algumas particularidades que poderiam não ser evidentes numa primeira
-leitura.
+compreensão dos mesmos mais rápida e simples destacando-se algumas 
+particularidades que poderiam não ser evidentes numa primeira leitura.
 
 ### power
 As comparações CLPFD permitiram-nos comparar se uma determinada variavel
@@ -43,8 +47,8 @@ coisa a múltiplicar por zero (recorde-se a definição de termo) é zero. Assim
 unificamos Term_Out com zero e terminamos a rotina com um green cut.
 
 Se não, 
-  se existir apenas um elemento na lista, esta já se encontra simplificada;
-  se não, aplicamos as seguintes regras de simplificação:
-    eliminar todos os monómios que têm a constante 1
-    juntar monómios semelhantes (com a mesma variável)
+se existir apenas um elemento na lista, esta já se encontra simplificada;
+se não, aplicamos as seguintes regras de simplificação:
+eliminar todos os monómios que têm a constante 1
+juntar monómios semelhantes (com a mesma variável)