It seems like they should really call that top-line, $10 bn, number 'bookings' and the second, $2 bn, number 'revenue'.