Yes, these are Diet Coke lights.