Email Record: Hilbert's tenth problem :