So they're swapping it out for Splenda. Coke already has a Diet Coke with Splenda.