deletions | additions       diff --git a/This_example_shows_that_Theorem__.tex b/This_example_shows_that_Theorem__.tex  index e73e0c2..1f778db 100644  --- a/This_example_shows_that_Theorem__.tex  +++ b/This_example_shows_that_Theorem__.tex 
...
This example shows that Theorem \ref{theorem:opinion} does not hold for resistant BDPs. One direction still holds: if there is no disagreement in the cycles, then the BDP converges, but the converse fails: some resistant BDPs stabilize even when there is disagreement within a cycle.   What are the necessary conditions for resistant BDPs to converge? 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 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 create amount to having  inconsistent opinions). What happens with more complex constraints?