Solving can fail during model-building!