I think we can safely conclude that UTC and Oracle were lump sums (I'd LOVE to be wrong) but Oracle is another matter. I'm not sure they are included in these proceeds, and I hope they weren't. This is positive no matter how you slice it, even if only slightly so.