specification of peek_finish