as specified in SVP64 [[sv/svp64/appendix]]
When considering an "array" of branches, there are four useful modes:
-AND, OR, NAND and NOR of all Conditions, which typically have names
-ALL, ANY/SOME, ??? and NONE. NAND and NOR may be synthesised by
+AND, OR, NAND and NOR of all Conditions.
+NAND and NOR may be synthesised by
inverting `BO[2]` which just leaves two modes:
* Branch takes place on the first CR test to succeed