Symbol: add_seq