Building Models, Finding Solutions