Intro to SeqGeq 1/13/21