2017-2019… it sounds like maybe he did quit.