Nitpick: Your math is correct, but you have the US revenue in billions rather than trillions.