The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science. The McCarthy 91 function is defined as :M(n)=\left\{\begin{matrix} n - 10, & \mbox{if }n > 100\mbox{ } \\ M(M(n+11)), & \mbox{if }n \le 100\mbox{ } \end{matrix}\right. The results of evaluating the function are given by M(n) = 91 for all integer arguments n ≤ 100, and M(n) = n − 10 for n ≥ 101. History The 91 function was introduced in papers published by Zohar Manna, Amir Pnueli an...

Beano is an enzyme-based dietary supplement that is used to reduce gas in the digestive tract, thereby improving digestion and reducing bloating, discomfort, and flatulence caused by gas. It contains the enzyme alpha galactosidase that breaks down oligosaccharides such as raffinose. It was introduced as a liquid, but that has been discontinued and it is now available only as tablets and strawberry-flavored "Meltaways." Mechanism of action Beano is a product containing the enzyme alpha galactosidase, which is derived from the fungus Aspergillus niger. The enzyme works in the digestive tra...

Space Quest is a series of six comedic science fiction computer adventure games released between 1986 and 1995. The games follow the adventures of a hapless janitor named Roger Wilco as he campaigns through the galaxy for "truth, justice and really clean floors". Initially created for Sierra On-Line by Mark Crowe and Scott Murphy (who called themselves the "Two Guys from Andromeda"), the games parodied both science fiction properties such as Star Wars and Star Trek (the theme song itself is a parody of the Star Wars theme), as well as pop-culture phenomena from McDonald's to Micros...