fixed adjoint/exactness mixup, and some citation business
slight format changes