green_leaf comments on boazbarak’s Shortform