Is it still “diet” coke if you drink five of them?