zh:formal_sequence