Intro to SeqGeq 11-10-21