formal_sequence