Preemption involves asymmetric causal histories (one backup doesn't fire because preemptor acts firs...
This proposition has not been edited since the history system was added.