Kaj_Sotala comments on AlphaGo versus Lee Sedol