Dynamic negation, the one and only door A. Visser & M. Hollenberg