diff --git a/incremental_slicing.tex b/incremental_slicing.tex
index 4d925bd..2015856 100644
--- a/incremental_slicing.tex
+++ b/incremental_slicing.tex
@@ -20,8 +20,6 @@ To build the PDG and then the SDG, some dependencies must be extracted from the
 	Vertex $b$ \textit{postdominates} vertex $b$ if and only if $a \neq b$ and $b$ is on every path from $a$ to the ``End'' vertex.
 \end{definition}
 
-JOSEP BORRAR
-
 \begin{definition}[Control dependency]
 	\label{def:ctrl-dep}
 	Vertex $b$ is \textit{control dependent} on vertex $a$ ($a \ctrldep b$) if and only if $b$ postdominates one but not all of $a$'s successors. It follows that a vertex with only one successor cannot be the source of control dependence.