Intro to SeqGeq 12/9/20