We present the theory of non-elementary proper forcing and apply it to preservation of positivity. We introduce a non-wellfounded iteration method for lim-sup tree-forcings and apply it to force measurability (with respect to a certain non-ccc ideal) of all definable sets, without using amalgamation or an inaccessible.