Jeff Sessions just resigned.