Vladimir_Nesov comments on Droopyhammock’s Shortform