Joseph Miller comments on Sodium’s Shortform