Intro to SeqGeq 11/11/20