**Puzzle KP:** This complement operation is left adjoint to what already defined operation?