add notes of what i learned about seqcomp and nway