Monotone subsequences and regular sequences in well-quasi-orders.