Do we use models to help us find the truth? Or do we know the truth first, and then develop the mathematics to explain it?