Since we do this (which is pretty clever), I feel we do not need the ```set_mark``` method: the use case for your code is synchronization of all nodes, so they will all simply use this method (that we should probably rename to ```synchronize_on_mark``` or something like this)