Vladimir_Nesov comments on An exercise in really going through with it