auto-pairs, redo, exit