Vladimir_Nesov comments on What are the strongest arguments for very short timelines?