oops!

you now have terminal 7.

> undo?