Yes, they are included. I'm assuming July 1st launch in China & Europe and October 1st launch in the US. Without that, the numbers would be even lower.