Boaz Barak comments on boazbarak’s Shortform