Vladimir_Nesov comments on AI #17: The Litany