finite sequence