oops!
you now have terminal 7.
> undo?