Vladimir_Nesov comments on Help Fund Lukeprog at SIAI