Vladimir_Nesov comments on EniScien’s Shortform