Intro to SeqGeq 12-8-21