## Following a run
Pause stops the run before its next step. Undo reverses steps marked reversible, newest first. Steps marked permanent show it before they run.