mixed up left and right adjoint
an intermediary claim