Translate "Sequentiality of Pattern Matching"