update preliminaries re: groupoids
start writing about composition and AC etc