Vladimir_Nesov comments on Davey Morse’s Shortform

[Vladimir_Nesov]

The early checkpoints, giving a chance to consider the question without losing ground.