It's not only those two.

The Rabbi who provides the Kosher certification for Coke also knows what the ingredients are. See:

http://www.jewishvirtuallibrary.org/jsource/Judaism/Kasherin...