LeCun was hired in 2013. It's been 12 years. How much longer does he need?