0_Wizard
I think I'm addicted to Mountain Dew! I love it!  It's a carbonated soft drink
Mountain Dew (stylized as Mtn Dew) is a carbonated soft drink brand produced and owned by PepsiCo.
chosen_Mountain_Dew_0
Mountain Dew
chosen_topic_0_Mountain_Dew
Mountain Dew
Mountain Dew (stylized as Mtn Dew) is a carbonated soft drink brand produced and owned by PepsiCo. The original formula was invented in 1940 by Tennessee beverage bottlers Barney and Ally Hartman. A revised formula was created by Bill Bridgforth in 1958. The rights to this formula were obtained by the Tip Corporation of Marion, Virginia. William H. "Bill" Jones of the Tip corporation further refined the formula, launching that version of Mountain Dew in 1961. In August 1964, the Mountain Dew brand and production rights were acquired from Tip by the Pepsi-Cola company, at which point distribution expanded more widely across the United States and Canada.
List of citrus soft drinks
In addition to Pepsi's Mountain Dew, Coca-Cola's Mello Yello or Dr Pepper's Sun Drop, there are a variety of smaller or regional brands for citrus soda. In deference to Mountain Dew's leading position in the market segment, some brands also use the word "Mountain" in their names. Big K Citrus Drop is the generic version of Mountain Dew sold at Kroger stores. Its name plays another citrus drink, Sun Drop, which claims that its introduction in 1928 makes it the first soft drink marketed in this category, earlier than Mountain Dew. The brand's slogan is "Pop the Drop" which is analogous to Mountain Dew's former "Do the Dew" slogan.
PepsiCo
PepsiCo, Inc. is an American multinational food, snack, and beverage corporation headquartered in Purchase, New York. PepsiCo has interests in the manufacturing, marketing, and distribution of grain-based snack foods, beverages, and other products. PepsiCo was formed in 1965 with the merger of the Pepsi-Cola Company and Frito-Lay, Inc. PepsiCo has since expanded from its namesake product Pepsi to a broader range of food and beverage brands, the largest of which included an acquisition of Tropicana Products in 1998 and the Quaker Oats Company in 2001, which added the Gatorade brand to its portfolio.
Soft drink
A soft drink (see terminology for other names) is a drink that typically contains carbonated water (although lemonade, among others, is usually not carbonated), a sweetener, and a natural or artificial flavoring. The sweetener may be sugar, high-fructose corn syrup, fruit juice, sugar substitutes (in the case of diet drinks), or some combination of these. Soft drinks may also contain caffeine, colorings, preservatives, and other ingredients. Soft drinks are called "soft" in contrast with "hard" alcoholic beverages. Small amounts of alcohol may be present in a soft drink, but the alcohol content must be less than 0.5% of the total volume if the drink is to be considered non-alcoholic.
Carbonated water
Carbonated water (also known as sparkling water, seltzer water, seltzer, bubbly water, or fizzy water, or the closely related club soda or soda water) is water into which carbon dioxide gas under pressure has been dissolved. Club soda or soda water may have additives, such as sodium chloride, sodium bicarbonate or similar, but seltzer water is almost always composed of water and carbon dioxide with no other additives. Carbonation is the process that causes the water to become effervescent. Most carbonated water is sold in ready to drink bottles like carbonated beverages such as soft drinks, but it can also be prepared at home with "soda makers".
Pepsi-Cola Made with Real Sugar
The Pepsi-Cola Made with Real Sugar, formerly called Throwback, is a brand of soft drink sold by PepsiCo in the United States and in sweet stores in South Australia for its flagship Pepsi and Mountain Dew brands. The drinks, called Pepsi Throwback and Mountain Dew Throwback, are named as such because they are flavored with cane sugar and beet sugar instead of high fructose corn syrup, which soft drink companies used to replace sugar (in their North American products) in the 1980s. In addition, these drinks use retro packaging. As of June 2014, Pepsi Throwback has been replaced in one area of the United States by "Pepsi-Cola Made with Real Sugar", a new product formulation, also made without high fructose corn syrup.
Surge (drink)
Surge (sometimes styled as SURGE) is a citrus flavored soft drink first produced in the 1990s by The Coca-Cola Company to compete with Pepsi's Mountain Dew. Surge was advertised as having a more "hardcore" edge, much like Mountain Dew's advertising at the time, in an attempt to lure customers away from Pepsi. It was originally launched in Norway as Urge in 1996, and was so popular that it was later released in America as Surge. Lagging sales caused production to be ended in 2006 for most markets, and by 2014 Norway was the last country where either Urge or Surge was still sold. However, popular fan bases such as Facebook's "SURGE Movement" led Coca-Cola to re-release the soft drink on September 15, 2014, for the US market via Amazon Prime in 12-packs of 16 oz cans.
1_Apprentice
I prefer Diet Mountain Dew, but I enjoy a Mountain Dew every once in a while.  When was Mountain Dew invented?
0_Wizard
It was in 1940 when the original formula was developed
The original formula was invented in 1940 by Tennessee beverage bottlers Barney and Ally Hartman.
chosen_Mountain_Dew_0
Mountain Dew
chosen_topic_0_Mountain_Dew
Method of analytic tableaux
In proof theory, the semantic tableau (; plural: tableaux, also called 'truth tree'), is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic. An analytic tableau is a tree structure computed for a logical formula, having at each node a subformula of the original formula to be proved or refuted. Computation constructs this tree and uses it to prove or refute the whole formula. The tableau method can also determine the satisfiability of finite sets of formulas of various logics. It is the most popular proof procedure for modal logics (Girle 2000).
New Coke
New Coke was the unofficial name for the reformulation of Coca-Cola introduced in April 1985 by the Coca-Cola Company to replace the original formula of its flagship soft drink, Coca-Cola (also called Coke). New Coke originally had no separate name of its own but was simply known as "the new taste of Coca-Cola" until 1992, when it was renamed Coke Ⅱ.  Coca-Cola's market share had been losing ground to diet soft drinks and non-cola beverages for many years. Consumers who were purchasing regular colas seemed to prefer the sweeter taste of rival Pepsi-Cola, as Coca-Cola learned in conducting blind taste tests.
Lehman Formula
The Lehman Formula, also known as the Lehman Scale, is a formula to define the compensation a bank or finder should receive when arranging for and handling a large underwriting or stock brokerage transfer transaction for a client. The formula usually applies to the entire value of the stock. The Lehman formula was originally used by investment banks and individual or corporate "finders" for the raising of capital for a business, either in public offerings or private placements, payable by the vendor(s) of the business once the funds have cleared. It usually deals with amounts greater than one million dollars.
Coca-Cola formula
The Coca-Cola formula is the Coca-Cola Company's secret recipe for Coca-Cola syrup, which bottlers combine with carbonated water to create the company's flagship cola soft drink. Company founder Asa Candler initiated the veil of secrecy that surrounds the formula in 1891 as a publicity, marketing, and intellectual property protection strategy. While several recipes, each purporting to be the authentic formula, have been published, the company maintains that the actual formula remains a secret, known only to a very few select (and anonymous) employees. Coca-Cola inventor John Pemberton is known to have shared his original formula with at least four people before his death in 1888.
Fuzzy extractor
Fuzzy extractors convert biometric data into random strings, which makes it possible to apply cryptographic techniques for biometric security. They are used to encrypt and authenticate users records, with biometric inputs as a key. Historically, the first biometric system of this kind was designed by Juels and Wattenberg and was called "Fuzzy commitment", where the cryptographic key is decommitted using biometric data. "Fuzzy", in that context, implies that the value close to the original one can extract the committed value. Later, Juels and Sudan came up with Fuzzy vault schemes which are order invariant for the fuzzy commitment scheme but uses a Reed–Solomon code.
Conjunctive normal form
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is an AND of ORs. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form used in circuit theory. All conjunctions of literals and all disjunctions of literals are in CNF, as they can be seen as conjunctions of one-literal clauses and conjunctions of a single clause, respectively. As in the disjunctive normal form (DNF), the only propositional connectives a formula in CNF can contain are and, or, and not.
Hindley–Milner type system
In type theory and functional programming, Hindley–Milner (HM), also known as Damas–Milner or Damas–Hindley–Milner, is a classical type system for the lambda calculus with parametric polymorphism, first described by J. Roger Hindley and later rediscovered by Robin Milner. Luis Damas contributed a close formal analysis and proof of the method in his PhD thesis. Among HM's more notable properties are its completeness and its ability to deduce the most general type of a given program without the need of any type annotations or other hints supplied by the programmer. Algorithm W is a fast algorithm, performing type inference in almost linear time with respect to the size of the source, making it practically useful to type large programs.
1_Apprentice
Which company created Mountain Dew?