BUT WHAT IS Diet Coke, REALLY?