My mistake! I had hedged around that point in my original comment, but I removed it after reading the twitter thread DailyDot where HenryAjder seemed to imply t

My mistake! I had hedged around that point in my original comment, but I removed it after reading the twitter thread DailyDot where HenryAjder seemed to imply the opposite. I've updated my comment to clarify