Vladimir_Nesov comments on AI #47: Meet the New Year