Upper Bound Calculus