Could try to prove naturality of the pairing. Then I could maybe get in on another preprint with Jakob.
nLab page on Naturality on pairing