Text this: Julia Robinson and Hilbert's tenth problem.