invalidate_seq