Collection: Sequences and Proof