2 problems

Bimodule chain-rule conjecture. For functors

Mixed chain-rule conjecture. There is an equivalence of right $K(\mathsf{OEpi})$-modules