deletions | additions       diff --git a/This_example_shows_that_direction__.tex b/This_example_shows_that_direction__.tex  index 387b152..8f056b7 100644  --- a/This_example_shows_that_direction__.tex  +++ b/This_example_shows_that_direction__.tex 
...
Intuitively, resistant BDPs with disagreements in cycles which stabilize do so because their cycles are not "synchronized". In the above example, given the constraint $p\leftrightarrow\neg q$, the only way to get stabilization starting from a situation respecting the constraint is to have a cycle of influence for $q$ which goes in \emph{the opposite direction} from the one from $p$, all other cases would amount to violate the constraint.   Beyond this simple example, we want to find out what happens with more complex constraints. What are the necessary  conditions for resistant BDPs to converge? This is what we will investigate next.Let us first show that that direction $2)\Rightarrow 1)$ of Theorem \ref{theorem:opinion} does still hold for resistant BDPs, that is, that resistant BDPs without disagreement in their cycles stabilize: