Factor gains a quit function (and preserves history)!