Comment by Arthur Leywin on Kim Dokja