Vladimir_Nesov comments on p.b.’s Shortform