From 283fa47b088d23f9a535dc8e8dfba616d05b9151 Mon Sep 17 00:00:00 2001
From: Casey Carter <Casey@Carter.net>
Date: Wed, 8 Mar 2017 17:22:56 -0800
Subject: [PATCH] Clarify iterators.bidi/3.3

Fixes #292.
---
 iterators.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/iterators.tex b/iterators.tex
index 21ce7b17..a7b58f41 100644
--- a/iterators.tex
+++ b/iterators.tex
@@ -1455,7 +1455,8 @@
 \begin{itemize}
 \item \tcode{\&\dcr{}a == \&a}.
 \item If \tcode{bool(a == b)}, then \tcode{bool(a\dcr{} == b)}.
-\item If \tcode{bool(a == b)}, then \tcode{bool((a\dcr{}, a) == \dcr{}b)}.
+\item If \tcode{bool(a == b)}, then after evaluating both \tcode{a\dcr} and \tcode{\dcr{}b},
+\tcode{bool(a == b)} still holds.
 \item If \tcode{a} is incrementable and \tcode{bool(a == b)}, then
       \tcode{bool(\dcr{}(++a) == b)}.
 \item If \tcode{bool(a == b)}, then \tcode{bool(++(\dcr{}a) == b)}.