Models and mathematics (2017)