Dynamics and negation by D. Pietersen