WIP adjoint-univ
WIP duals
WIP
WIP