la:formal_sequence