Correct me if I'm wrong: Jun 800,000,000 Dec 700,000,000 Dec 300,000,000 Equals 1,800,000,000 (buyback complete)???????