Sodium comments on Sodium’s Shortform