Vladimir_Nesov comments on What big goals do we have?