more Undo specs