A Formal Mathematical Investigation on the Validity of Kellogg's Glaze Claims