deletions | additions       diff --git a/section_BDPs_on_logically_interdependent__.tex b/section_BDPs_on_logically_interdependent__.tex  index 2c0c6be..0e3f7d2 100644  --- a/section_BDPs_on_logically_interdependent__.tex  +++ b/section_BDPs_on_logically_interdependent__.tex 
...
Consider the following example. Let $\C=\{p\leftrightarrow \neg q\}$ and let $\O$ and $\G$ be as illustrated by the figure below:  \begin{figure}\label{fig:resistantBDP} \begin{figure}[h]  \begin{center}  \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=2cm, semithick]  \end{tikzpicture} \includegraphics[scale=0.15]{figures/Resistant}  \caption{Example of a  resistant BDP} BDP with constraint $p\lefrightarrow \neg q$.%  }  \label{figure:resistant}  \end{center}  \end{figure}