Intro to SeqGeq 9/8/20