3. A hardware-level for-loop makes vector elements 100% synonymous
with scalar instructions (the suffix)
-That said, there are a few exceptional places where these rules get
+How can a Vector ISA even exist when no actual Vector instructions
+are permitted to be added? It comes down to the strict abstraction.
+First you add a **scalar** instruction (32-bit). Second, the
+Prefixing is applied *in the abstract* to give the *appearance*
+and ultimately the same effect as if an explicit Vector instruction
+had also been added.
+
+There are a few exceptional places where these rules get
bent, and others where the rules take some explaining,
and this page tracks them.