en:formal_sequence