that they *pass through* SIMD behaviour entirely to a lower level,
*completely intact*.
-Method (2) allows the Liskov Substitution Principle to be
-put to surprisingly good effect. If that was possible to
+Mathod (1) is an alarmingly large amount of work with severe to
+catastrophic implications in multiple areas.
+
+Method (2) by complete contrast allows the Liskov Substitution Principle to
+be put to surprisingly good effect. If that was possible to
achieve then **almost no modifications to nmigen would
be required**.