Object programming and straightforward object manipulation in Solver often make it possible to design a direct and very intuitive model of a problem. Nevertheless, we must not get stuck in this apparent simplicity if that model gives rise to a disproportionate amount of propagation or outright inefficiency.