The beginnings of an overview doc (not complete yet)