A method of existential interpretation was introduced in . It allows proving undecidability of modest strata of many first order theories. Here we improve the method and its presentation, strengthen somewhat the previous results and prove a couple of new results. The reader is not supposed to be acquainted with 
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.