Mathematics, Models, and Modality