← Learning the work of ambitious mathematics …