discussion:sa:formal_sequence