diff --git a/dev/abft.md b/dev/abft.md
index 4d8bb042..5860bb4e 100644
--- a/dev/abft.md
+++ b/dev/abft.md
@@ -597,12 +597,12 @@ On receiving a vote $Vote_k(r_k, p_k, s_k, v)$ a player
     - $r_k \notin [r,r+1]$ or
     - $r_k = r + 1$ and either
        - $p_k > 0$ or
-       - $s_k \notin (\Next_0, \Late)$ or
+       - $s_k \in (\Next_0, \Late)$ or
     - $r_k = r$ and one of
        - $p_k \notin [p-1,p+1]$ or
-       - $p_k = p + 1$ and $s_k \notin (\Next_0, \Late)$ or
-       - $p_k = p$ and $s_k \notin (\Next_0, \Late)$ and $s_k \notin [s-1,s+1]$ or
-       - $p_k = p - 1$ and $s_k \notin (\Next_0, \Late)$ and
+       - $p_k = p + 1$ and $s_k \in (\Next_0, \Late)$ or
+       - $p_k = p$ and $s_k \in (\Next_0, \Late)$ and $s_k \notin [s-1,s+1]$ or
+       - $p_k = p - 1$ and $s_k \in (\Next_0, \Late)$ and
 	     $s_k \notin [\sbar-1,\sbar+1]$.
  - Otherwise, relays $\Vote_k$, observes it, and then produces any
    consequent output.
diff --git a/dev/html/abft.html b/dev/html/abft.html
index da9e70c2..e826da37 100644
--- a/dev/html/abft.html
+++ b/dev/html/abft.html
@@ -323,14 +323,14 @@ <h2 id="votes-1">Votes</h2>
 <li><span class="math inline">\(r_k = r + 1\)</span> and either
 <ul>
 <li><span class="math inline">\(p_k &gt; 0\)</span> or</li>
-<li><span class="math inline">\(s_k \notin (\mathit{next}_0, \mathit{late})\)</span> or</li>
+<li><span class="math inline">\(s_k \in (\mathit{next}_0, \mathit{late})\)</span> or</li>
 </ul></li>
 <li><span class="math inline">\(r_k = r\)</span> and one of
 <ul>
 <li><span class="math inline">\(p_k \notin [p-1,p+1]\)</span> or</li>
-<li><span class="math inline">\(p_k = p + 1\)</span> and <span class="math inline">\(s_k \notin (\mathit{next}_0, \mathit{late})\)</span> or</li>
-<li><span class="math inline">\(p_k = p\)</span> and <span class="math inline">\(s_k \notin (\mathit{next}_0, \mathit{late})\)</span> and <span class="math inline">\(s_k \notin [s-1,s+1]\)</span> or</li>
-<li><span class="math inline">\(p_k = p - 1\)</span> and <span class="math inline">\(s_k \notin (\mathit{next}_0, \mathit{late})\)</span> and <span class="math inline">\(s_k \notin [\bar{s}-1,\bar{s}+1]\)</span>.</li>
+<li><span class="math inline">\(p_k = p + 1\)</span> and <span class="math inline">\(s_k \in (\mathit{next}_0, \mathit{late})\)</span> or</li>
+<li><span class="math inline">\(p_k = p\)</span> and <span class="math inline">\(s_k \in (\mathit{next}_0, \mathit{late})\)</span> and <span class="math inline">\(s_k \notin [s-1,s+1]\)</span> or</li>
+<li><span class="math inline">\(p_k = p - 1\)</span> and <span class="math inline">\(s_k \in (\mathit{next}_0, \mathit{late})\)</span> and <span class="math inline">\(s_k \notin [\bar{s}-1,\bar{s}+1]\)</span>.</li>
 </ul></li>
 </ul></li>
 <li>Otherwise, relays <span class="math inline">\(\mathrm{Vote}_k\)</span>, observes it, and then produces any consequent output.</li>
diff --git a/dev/pdf/abft.pdf b/dev/pdf/abft.pdf
index e91f8df3..4d3d633d 100644
Binary files a/dev/pdf/abft.pdf and b/dev/pdf/abft.pdf differ