Intro to SeqGeq 3/10/21