Intro to SeqGeq 9-8-2021