Vladimir_Nesov comments on pzas’ Shortform