Equivalently, formula_1 is remarkable if and only if for every formula_2 there is formula_3 such that in some forcing extension formula_4, there is an elementary embedding formula_5 satisfying formula_6.