hi:discussion:symbol:formal_sequence