If default persistence is built into the action formalism itself, non-effects require no explicit sp...