By transitioning from a sequential model to the flexible time model of MEV,
we engineer radical new transaction semantics.