Yep, just not in github-book. In Connexions there are modules not in a book (or in multiple books). I should probably make 2 lists: a list of assumptions only in `github-book` and a list of assumptions only in `atc`.