WIP adjoint-univ
WIP duals
WIP
WIP
WIP