Intro to SeqGeq 01.12.22 edit