discussion:hi:symbol:formal_sequence