The sequence may be empty