Boaz Barak comments on ryan_greenblatt’s Shortform