diff --git a/Secciones/solution.tex b/Secciones/solution.tex
index 1d0f77e..a3c281f 100644
--- a/Secciones/solution.tex
+++ b/Secciones/solution.tex
@@ -31,7 +31,7 @@ print(a);
 \caption{Example of pseudo-predicates control dependencies \josep{no se referencia a esta figura desde ningún sitio}}
 \end{figure}
 
-This is the process used to build the Program Dependence Graph.
+This is the process used to build the Program Dependence Graph. \josep{Todo lo que sigue es demasiado verbose. No hay definiciones concretas. Es todo muy informal, y no hay un ongoing example que permita ver como las fases van evolucionando paso a paso. Nos reunimos para hablar de esta sección antes de reescribirla...}
 
 \begin{description}
 	\item[Step 1 (static analysis):] Identify for each instruction the variables read and defined. Each method is annotated with the global variables that they access or modify.