Prolegomena to the definition of dynamic predicate logic with local assignments by A. Visser