seq_finite/order/length