On Coherence, Constraints, and the Cost of Each Upgrade