Vladimir_Nesov comments on silentbob’s Shortform