John Rose Wed, 16 May 2018 17:20:48 -0700
+100 for LW1 !
Then we can more readily prove what’s needed for 10 and 100.