Modeling the problem