that they are usually added as explicit instructions,
and NEC SX Aurora has even more iterative instructions. In SVP64 these
concepts are applied in the abstract general form, which takes some
-getting used to, as it may, when applied to non-commutative
+getting used to.
+
+Reduction may, when applied to non-commutative
instructions incorrectly, result in invalid results, but ultimately
it is critical to think in terms of the "rules", that everything is
-Scalar instructions in strict Program Order.
+Scalar instructions in strict Program Order. Reduction on non-commutative
+Scalar Operations is not *prohibited*: the strict Program Order allows
+the programmer to think through what would happen and thus potentially
+actually come up with legitimate use.
**Branches**