sa:formal_sequence