, a notion of forcing over E, the E-closure of L, is said to be effective if every sideways -generic extension preserves E-closure. There are set notions of forcing in E that do not preserve E-closure. The main theorem below asserts that is effective if and only if it is locally proper, a weak variant of Shelah's notion of proper.