deletions | additions       diff --git a/section_BDPs_on_logically_interdependent__.tex b/section_BDPs_on_logically_interdependent__.tex  index 87c157b..b10e019 100644  --- a/section_BDPs_on_logically_interdependent__.tex  +++ b/section_BDPs_on_logically_interdependent__.tex 
...
(F) edge [thick] node {} (E)  ;  \end{tikzpicture}   %\caption{Automaton for the rule $p:=\varphi (p) $} \caption{Example of resistant BDP}  \end{center}  \end{figure}