lemonhope comments on D0TheMath’s Shortform