The Calculus of the Upgrade