[intro.races] Remove unclear uses of "shall"

source/basic.tex

@@ -6250,7 +6250,7 @@
 \end{itemize}
 
 The value of a non-atomic scalar object or bit-field $M$, as determined by
-evaluation $B$, shall be the value stored by the
+evaluation $B$, is the value stored by the
 \indextext{side effects!visible}%
 visible side effect $A$.
 \begin{note}
@@ -6268,7 +6268,7 @@
 
 \pnum
 The value of an
-atomic object $M$, as determined by evaluation $B$, shall be the value
+atomic object $M$, as determined by evaluation $B$, is the value
 stored by some
 side effect $A$ that modifies $M$, where $B$ does not happen
 before $A$.
@@ -6280,7 +6280,7 @@
 \pnum
 \indextext{coherence!write-write}%
 If an operation $A$ that modifies an atomic object $M$ happens before
-an operation $B$ that modifies $M$, then $A$ shall be earlier
+an operation $B$ that modifies $M$, then $A$ is earlier
 than $B$ in the modification order of $M$.
 \begin{note}
 This requirement is known as write-write coherence.
@@ -6292,7 +6292,7 @@
 \indextext{value computation}%
 value computation $A$ of an atomic object $M$ happens before a
 value computation $B$ of $M$, and $A$ takes its value from a side
-effect $X$ on $M$, then the value computed by $B$ shall either be
+effect $X$ on $M$, then the value computed by $B$ is either
 the value stored by $X$ or the value stored by a
 \indextext{side effects}%
 side effect $Y$ on $M$,
@@ -6306,7 +6306,7 @@
 If a
 \indextext{value computation}%
 value computation $A$ of an atomic object $M$ happens before an
-operation $B$ that modifies $M$, then $A$ shall take its value from a side
+operation $B$ that modifies $M$, then $A$ takes its value from a side
 effect $X$ on $M$, where $X$ precedes $B$ in the
 modification order of $M$.
 \begin{note}
@@ -6319,7 +6319,7 @@
 If a
 \indextext{side effects}%
 side effect $X$ on an atomic object $M$ happens before a value
-computation $B$ of $M$, then the evaluation $B$ shall take its
+computation $B$ of $M$, then the evaluation $B$ takes its
 value from $X$ or from a
 \indextext{side effects}%
 side effect $Y$ that follows $X$ in the modification order of $M$.