stopped in left adjoint is prop