"Sequences" fully verified