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**.