more stuff in background, adjoint equivalences, etc.