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