deletions | additions       diff --git a/section_BDPs_on_logically_interdependent__.tex b/section_BDPs_on_logically_interdependent__.tex  index fb35d6c..7ed8609 100644  --- a/section_BDPs_on_logically_interdependent__.tex  +++ b/section_BDPs_on_logically_interdependent__.tex 
...
\item Step: for all $i \in \N$, $p\in \Atoms$, $\O_i^{n+1}(p) :=   \left\{  \begin{array}{ll}  \O^{n}_{R_p(i)}(p) & \mbox{if } (  \bigwedge_{p \in \Atoms} \O^{n}_{R_p(i)}(p) \wedge \bigwedge_{\varphi \in \C} )  \mbox{ is consistent} \\ \O_i^{n}(p) & \mbox{otherwise}  \end{array}  \right.