Although originally controversial, the axiom of choice is now used without reservation by most mathematicians, and it is included in ZFC, the standard form of axiomatic set theory.

Although originally considered a subspecies of A. ramidus, in 2004 anthropologists Yohannes Haile-Selassie, Gen Suwa, and Tim D. White published an article elevating A. kadabba to species level on the basis of newly-discovered teeth from Ethiopia.

Although the duty of Abbreviators was originally to make abstracts and abridgments of the apostolic letters, diplomas, etc., using the legal abbreviations, clauses, and formularies, in course of time, as their office grew in importance they delegated that part of their office to their substitute and confined themselves to overseeing the proper expedition of the apostolic letters.

Although their motives in this were originally to gain more power for themselves, the more idealistic Whigs gradually came to support an expansion of democracy for its own sake.

Although historically inaccurate, the legend of the Greek messenger Pheidippides running to Athens with news of the victory became the inspiration for this athletic event, introduced at the 1896 Athens Olympics, and originally run between Marathon and Athens.

Although originally devised in the United States, it was more commonly adopted by British libraries than by American ones.

Although the film had originally been released in 1952, due to Chaplin's political difficulties at the time, it did not play for one week in Los Angeles, and thus did not meet the criterion for nomination until it was re-released in 1972.

Although traditionally such cladograms were generated largely on the basis of morphological characters and originally calculated by hand, genetic sequencing data and computational phylogenetics are now very commonly used in phylogenetic analysis.

Although originally designed to assess sense of community in neighborhoods, the index has been adapted for use in schools, the workplace, and a variety of types of communities.

Although it was originally presented in reaction to the statements of artificial intelligence researchers, it is not an argument against the goals of AI research, because it does not limit the amount of intelligence a machine can display.

Although the Chinese Room argument was originally presented in reaction to the statements of AI researchers, philosophers have come to view it as an important part of the philosophy of mind.

Although largely commercially self-funded, it is ultimately publicly owned ; originally a subsidiary of the Independent Broadcasting Authority ( IBA ), the station is now owned and operated by Channel Four Television Corporation, a public body established in 1990, coming into operation in 1993.

Although cocoa is originally from the Americas, today Western Africa produces almost two-thirds of the world's cocoa, with Côte d ' Ivoire growing almost half of it.

Although Celera was originally set to sequence a composite of DNA samples, partway through the sequencing, Venter switched the samples for his own DNA.

Although this originally had been planned when Commodore first switched from the parallel IEEE-488 interface to a custom serial interface, hardware bugs in the VIC-20's 6522 VIA shift register prevented it from working properly.

Although, originally conceived as a children's programme, it quickly acquired a cult crossover following amongst many adults, including future Pythons John Cleese and Graham Chapman ( as mentioned by Cleese himself in the " Paying my ex-wife " stage performance tour, October 2010 ).

Although, originally, educational measurement methods were built on classical test theory, item response theory and Rasch models are now used extensively in educational measurement worldwide.

Although film noir was originally associated with American productions, films now so described have been made around the world.

Although originally associated with adult feasting and drinking, since the Victorian era, Father Christmas has gradually merged with the pre-modern gift giver St Nicholas ( Dutch Sinterklaas, hence Santa Claus ) and associated folklore.

Although its file format also allows for multiple such streams to be concatenated ( zipped files are simply decompressed concatenated as if they were originally one file ), gzip is normally used to compress just single files.

Although English largely separates tense and aspect formally, its generally recognized aspects do not correspond very closely to the traditional notion of perfective vs. imperfective aspectual distinction originally devised to classify aspect in most Classical and Slavic languages ( those languages for which the concept of aspect was first proposed in describing non-tense handling of verbal " viewpoint ").

Although the term Gulag originally referred to a government agency, the acronym acquired the qualities of a common noun, denoting: the Soviet system of prison-based, unfree labor — including specific labor, punishment, criminal, political, and transit camps for men, women, and children.

Although originally intended to feature a figure symbolising Glasgow ' with the Clyde at her feet sending her manufactures to all the world ', the Pediment was redesigned to celebrate Queen Victoria's Golden Jubilee.

Although it was not legally recognized until 1982, the CGT was originally formed in 1970 by the Christian Democrats and received external support from the World Confederation of Labour ( WCL ) and the Latin American Workers Central ( Central Latinoamericana de Trabajadores — CLAT ), a regional organization supported by Christian Democratic parties.

Although it was an accepted part of Hadrian's personal history that he was born in Spain, his biography in Augustan History states that he was born in Rome on 24 January AD 76, of a family originally Italian, but which had lived in Spain for many generations.

Although " android " is used almost universally to refer to both sexes, and those of no particular sex, " android " technically refers to the male form, while " gynoid " is the feminine form.

Although digital setting circles can be used to display a telescope's RA and Dec coordinates, they are not simply a digital read-out of what can be seen on the telescope's analog setting circles.

Although the name actually applies to a group of snakes, it is often used to refer only to one species in particular, the common or green anaconda, Eunectes murinus, which is one of the largest snakes in the world.

Although the axiom of countable choice in particular is commonly used in constructive mathematics, its use has also been questioned.

Although an explanation for the phenomenon was not provided until 1919, duralumin was one of the first " age hardening " alloys to be used, and was soon followed by many others.

Although hydrogen-like orbitals are still used as pedagogical tools, the advent of computers has made STOs preferable for atoms and diatomic molecules since combinations of STOs can replace the nodes in hydrogen-like atomic orbital.

Although Collins used it as a catharsis for her opposition to the Vietnam War, two years after her rendition, the Royal Scots Dragoon Guards, senior Scottish regiment of the British Army, recorded an instrumental version featuring a bagpipe soloist accompanied by a pipe and drum band.

Although Dio is the earliest writer to mention them, Ammianus Marcellinus used the name to refer to Germans on the Limes Germanicus in the time of Trajan's governorship of the province shortly after it was formed, circa 98 / 99.

Although the 1987 decision settled the question of the scientific name of the genus, the common name " amaryllis " continues to be used differently.

Although the term aeon may be used in reference to a period of a billion years ( especially in geology, cosmology or astronomy ), its more common usage is for any long, indefinite, period.

Although most dialects of English used in the former British Empire outside of North America and Australasia are, to various extents, based on British English, most of the countries concerned have developed their own unique dialects, particularly with respect to pronunciation, idioms and vocabulary.

Although used for similar purposes, transparent colors and image masks do not permit the smooth blending of the superimposed image pixels with those of the background ( only whole image pixels or whole background pixels allowed ).

Although cheap and effective in enabling use of some software that only used official ROM entry points for text output, this solution proved very slow because the Electron had to be placed into an 80-byte-pitch display to be able to get anywhere near to reproducing mode 7 and the CPU spent a lot of time drawing approximations of mode 7 characters and graphics that in a hardware solution would be achieved without any CPU processing.

Although this produced a mode 7 that barely impacted upon CPU performance and gave the same visual quality as the BBC Micro, it remained compatible only with software that used the ROM routines for outputting text and graphics and still used 10 kB of memory for the display.

Although used during the Normandy landings, by that point German aircraft were contained by the Allies own air forces and they were largely unneeded.

Although modern analytical chemistry is dominated by sophisticated instrumentation, the roots of analytical chemistry and some of the principles used in modern instruments are from traditional techniques many of which are still used today.

Although he used the usual French terms " avant J .- C ." ( before Jesus Christ ) and " après J .- C ." ( after Jesus Christ ) to label years elsewhere in his book, the Byzantine historian Venance Grumel used negative years ( identified by a minus sign, −) to label BC years and unsigned positive years to label AD years in a table, possibly to save space, without a year 0 between them.

Although a wide variety of graphite tube designs have been used over the years, the dimensions nowadays are typically 20 – 25 mm in length and 5 – 6 mm inner diameter.

Although these instruments have slow response time and low accuracy, they were sometimes used in measuring radio-frequency current.

Although his paper was widely cited, a random selection of 60 of these citations revealed that 29 of the papers were direct rebuttals or criticisms of Jensen's arguments, 8 cited the paper as an " example of controversy ," 8 used it as a background reference.

Although this document was subsequently adopted by International Organization for Standardization ( ISO ) and subsequent revisions published by ISO have been adopted by ANSI, the name ANSI C ( rather than ISO C ) is still more widely used.