SEQUENCE_AT
Finite Sequence Interface