See also: great video on a very adjacent topic: https://www.youtube.com/watch?v=Klq-sNxuP2g

"Moves are Broken" or why non-destructive moves are at odds with invariants