Vladimir_Nesov comments on Andrew Burns’s Shortform