Relational validity & dynamic predicate logic by A. Visser