3We repeatedly make approximations motivated by results from the continuous-timebenchmark model; the key approximation will be the usual calculus result that if ε and γ are‘small’ then εγ can be approximated by zero. (We will call this fact[SmallSmallZero] as perMathFacts.)