Intro to SeqGeq 6/9/21