In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.

Example Input: Rosenheim and Callow developed a test in which a mixture of this compound and metal acetates are used to detect the presence of sterols. Millon's reagent is a solution of mercury in this substance and a similar substance, which turns red in the presence of phenolic compounds and is useful in detecting tyrosine residues. The commercial production of this compound begins with the combustion of ammonia using a platinum-rhodium catalyst; that process is the Ostwald process. For 10 points, identify this acid which is found with hydrochloric acid in aqua regia, and has chemical formula HNO3.
Example Output: Science

Example Input: It's not childbirth, but one god of this domain had a name mistranslated as "placenta king," and displaced an older god of it named Iah. During the Middle Kingdom, this domain was represented symbolically by a lake at Karnak, and by the youngest member of the Theban Triad, who was the son of Mut and Amun. One god of this domain allowed Kheru-Ur and four other new deities to be born from Nut after losing one seventy-second of his power, elongating the year by five days. This realm was represented by Khonsu, who lost a gambling game to Thoth. This object also corresponds to a body part removed in combat with Set. For 10 points, name this cosmic object which ancient Egyptians equated with the ripped-out left eye of Horus.
Example Output: Social Science

Example Input: Any system like this one must neglect one of three objectives or lose strong normalization according to Girard's paradox. A polymorphic variety of this system is referred to as System F. Related systems include one developed by Coquand and Huet and the intuitionist theory of Per Martin-Lof. Permitting actions such as alpha, beta, and eta conversion, research on this system inspired the development of domain theory. Inductive types may be added to it via Mogensen-Scott encoding, and defining under this system the function k to take x and give not x x, then applying that function to k, is the Kleene-Rosser paradox. System F corresponds to second-order propositional logic, and natural deduction may be interpreted as a "typed" version of this system, by the Curry-Howard correspondence. For 10 points, name this formal system, which can compute the same set of functions as a certain kind of machine according to the Church-Turing thesis.
Example Output:
Science