gjm comments on AlphaGo versus Lee Sedol