Vladimir_Nesov comments on Notes on logical priors from the MIRI workshop