discussion:en:formal_sequence