Vladimir_Nesov comments on Vivek Hebbar’s Shortform