How much math did David Autor have?