Vladimir_Nesov comments on Disjunctions, Antipredictions, Etc.