Condition EE8 can be dualised to relative right adjoints. From EE10 we deduce the formal characterisation of adjoints: the counit of an adjunction exhibits the left adjoint as the absolute right extension of the identity along the right adjoint, and dually for the unit.