Won't they need to be included in the 10-Q? Of course this announcement of sales was held until the first day of the quarter, so these sales won't be listed until sometime in October.