Intro to SeqGeq 5/12/21