Undecidability of existential theories of rings and fields: a survey.