Differential with Lock's Successors