In other news: coke is now pepsi. Citizens are expected to remember this when ordering.