discussion:symbol:formal_sequence