general lower derivate