Context in dynamic predicate logic by A. Visser