Vladimir_Nesov comments on J’s Shortform