OpenLLM-France/wikimedia huggingface dataset:
# Gödel operation

In mathematical set theory, a set of Gödel operations is a finite collection of operations on sets that can be used to construct the constructible sets from ordinals. Gödel (1940) introduced the original set of 8 Gödel operations 𝔉$_1$,...,𝔉$_8$ under the name fundamental operations. Other authors sometimes use a slightly different set of about 8 to 10 operations, usually denoted G$_1$, G$_2$,...

## Definition

Gödel (1940) used the following eight operations as a set of Gödel operations (which he called fundamental operations):
* ${\mathfrak {F}}_{1}(X,Y)=\{X,Y\}$
* ${\mathfrak {F}}_{2}(X,Y)=E\cdot X=\{(a,b)\in X\mid a\in b\}$
* ${\mathfrak {F}}_{3}(X,Y)=X-Y$
* ${\mathfrak {F}}_{4}(X,Y)=X\upharpoonright Y=X\cdot (V\times Y)=\{(a,b)\in X\mid b\in Y\}$
* ${\mathfrak {F}}_{5}(X,Y)=X\cdot {\mathfrak {D}}(Y)=\{b\in X\mid \exists a(a,b)\in Y\}$
* ${\mathfrak {F}}_{6}(X,Y)=X\cdot Y^{-1}=\{(a,b)\in X\mid (b,a)\in Y\}$
* ${\mathfrak {F}}_{7}(X,Y)=X\cdot {\mathfrak {Cnv}}_{2}(Y)=\{(a,b,c)\in X\mid (a,c,b)\in Y\}$
* ${\mathfrak {F}}_{8}(X,Y)=X\cdot {\mathfrak {Cnv}}_{3}(Y)=\{(a,b,c)\in X\mid (c,a,b)\in Y\}$
The second expression in each line gives Gödel's definition in his original notation, where the dot means intersection, V is the universe, E is the membership relation, ${\mathfrak {D}}$ denotes range and so on. (Here the symbol $\upharpoonright$ is used to restrict range, unlike the contemporary meaning of restriction.)
Jech (2003) uses the following set of 10 Gödel operations.
* $G_{1}(X,Y)=\{X,Y\}$
* $G_{2}(X,Y)=X\times Y$
* $G_{3}(X,Y)=\{(x,y)\mid x\in X,y\in Y,x\in y\}$
* $G_{4}(X,Y)=X-Y$
* $G_{5}(X,Y)=X\cap Y$
* $G_{6}(X)=\cup X$
* $G_{7}(X)={\text{dom}}(X)$
* $G_{8}(X)=\{(x,y)\mid (y,x)\in X\}$
* $G_{9}(X)=\{(x,y,z)\mid (x,z,y)\in X\}$
* $G_{10}(X)=\{(x,y,z)\mid (y,z,x)\in X\}$
The reason for including the functions $\{(x,y,z)\mid (x,z,y)\in X\}$ and $\{(x,y,z)\mid (y,z,x)\in X\}$ which permute the entries of an ordered tuple is that, for example, the tuple $(x_{1},x_{2},x_{3},x_{4})$ can be formed easily from $x_{1}$ and $(x_{2},x_{3},x_{4})$ since it equals $(x_{1},(x_{2},x_{3},x_{4}))$, but it is more difficult to form when the entries are given in a different order, such as from $x_{4}$ and $(x_{1},x_{2},x_{3})$.$^{p.63}$

## Properties

Gödel's normal form theorem states that if $\phi (x_{1},\ldots ,x_{n})$ is a formula in the language of set theory with all quantifiers bounded, then the function $\{(x_{1},\ldots ,x_{n})\in X\mid (x_{1},\ldots ,x_{n})\in (X_{1}\times \ldots \times X_{n})\land \phi (x_{1},\ldots ,x_{n})\}$ of $X_{1}$, $\ldots$, $X_{n}$ is given by a composition of some Gödel operations. This result is closely related to Jensen's rudimentary functions.
Jon Barwise showed that a version of Gödel's normal form theorem with his own set of 12 Gödel operations is provable in $\mathrm {KPU}$, a variant of Kripke-Platek set theory admitting urelements.$^{p.64}$
# Santa Croce sull'Arno

Santa Croce sull'Arno is an Italian town in the province of Pisa, Tuscany.

## Notable people

* Giovanni Lami, antiquarian
# Yuta Imamura

Yuta Imamura (今村雄太, Imamura Yūta) (born 31 October 1984 in Mie, Japan) is a Japanese rugby union player. Imamura has played 38 international matches for the Japan national rugby union team.
Imamura was a member of the Japan team at the 2007 Rugby World Cup and the 2011 Rugby World Cup.
# Simon B. Conover

Simon Barclay Conover (September 23, 1840 – April 19, 1908) was an American physician and politician who served as a delegate to Florida's 1868 Constitutional Convention, state treasurer, state legislator, and U.S. Senator from Florida. He served in the Florida House of Representatives including as Speaker. He was a Republican.

## Biography

Born in Middlesex County, New Jersey, Conover attended an academy in Trenton, New Jersey. He studied medicine at the University of Pennsylvania, and graduated from the medical department of the University of Nashville in 1864. During the United States Civil War he served in the medical department of the Union Army. He was appointed acting assistant surgeon in 1866, and was assigned to Lake City, Florida. He resigned from the medical department of the army upon readmission of the State of Florida into the Union.
Conover was a delegate to the State constitutional convention in 1868. He was appointed State treasurer in 1868, serving one term. He was also a member of the Republican National Committee from 1868 to 1872. He was a member of the Florida House of Representatives in 1873 and served as speaker.
Conover was elected to the United States Senate and served from March 4, 1873, to March 3, 1879. There he served as chairman of the U.S. Senate Committee on Enrolled Bills. After his time in Congress, Conover resumed the practice of medicine. He was an unsuccessful Republican candidate for governor in 1880, a delegate to the state constitutional convention in 1885, and was appointed United States surgeon at Port Townsend, Washington, in 1889. He became president of the board of regents of the Agricultural College and School of Science of the State of Washington in 1891. He practiced medicine in Port Townsend until his death, and was interred there in the Masonic Cemetery.
# Charles Stewart (actor)

Charles Joseph Stewart (April 16, 1923 – October 17, 2016) was a film and television actor actor. He has appeared in the television series such as Star Trek: The Original Series, Batman, Bewitched, The F.B.I., and The Brady Bunch, as well as films such as The War of the Worlds (1953), The Lineup (1958), The Hollywood Knights (1980) and Armageddon (1998).

## Biography

Charles Stewart was born on April 16, 1923 in New York City, United States.
He was an actor, and appeared in television series such as Star Trek: The Original Series, Batman, Bewitched, The F.B.I., and The Brady Bunch, as well as films such as The War of the Worlds (1953), The Lineup (1958), The Hollywood Knights (1980), and Armageddon (1998).
He died on October 17, 2016, at the age of 93.

## Filmography
### Film

| Year | Title | Role | Notes |
| 1953 | The War of the Worlds | Marine captain | Uncredited |
| 1958 | The Lineup | Laboratory technician | Uncredited |
| 1958 | War of the Colossal Beast | Captain Harris | |
| 1961 | Picture Window | Joe Saxon | Television play |
| 1966 | The Glass Bottom Boat | Reporter | Uncredited |
| 1969 | The Arrangement | Board member | Uncredited |
| 1980 | The Hollywood Knights | Homeowner | |
| 1981 | The Miracle of Kathy Miller | Ray McMillan | |
| 1982 | Mountain Charlie | | |
| 1983 | Grace Kelly | Toastmaker | |
| 1987 | The Last Innocent Man | Lawyer's aide | |
| 1994 | Gunmen | Knife grinder | |
| 1998 | Armageddon | Vacuum chamber technician | |

### Television

| Year | Title | Role | Notes |
| 1958 | Adventures of Wild Bill Hickok | Captain Dan Bodie | Episode: "The Good Indian" (no. 112) |
| 1959 | Naked City | Petersen | Episode: "Ticker Tape" (no. 22); uncredited |
| 1960 | Men into Space | | Episode: "Voice of Infinity" (no. 28) |
| 1964 | The Fugitive | Reporter #1 | Episode: "Man in a Chariot" (no. 31) |
| 1965 | My Favorite Martian | Patrolman | Episode: "Lorelei Brown vs. Everybody" (no. 89) |
| 1966 | Star Trek: The Original Series | Captain Ramart | Episode: "Charlie X" (no. 2) |
| 1966 | Batman | Clergyman | 2 episodes |
| 1966 | The F.B.I. | Marcus | Episode: "Quantico" (no. 20) |
| 1968 | The F.B.I. | Reporter | Episode: "The Predators" (no. 86) |
| 1969 | The F.B.I. | Noel Phillips | Episode: "The Challenge" |
| 1967 | Bewitched | Producer | Episode: "Ho Ho the Clown" (no. 92) |
| 1968 | The Invaders | Robertson | Episode: "Counter-Attack" (no. 35) |
| 1974 | The Brady Bunch | Joe Sinclair | Episode: "The Hustler" (no. 116) |
| 1975 | The Invisible Man | Man | Episode: "Barnard Wants Out" (no. 5) |
| 1977 | Switch | Jake Odden | Episode: "Camera Angles" (no. 41) |
| 1977 | Little Vic | Mr. Lawson | |
| 1982 | Joanie Loves Chachi | Poobah | Episode: "No Nudes Is Good Nudes" (no. 8) |
# Wilfred Curwen

Captain Wilfred John Hutton Curwen (14 April 1883 – 9 May 1915) was an English first-class cricketer who played for Oxford University, Surrey and MCC between 1906 and 1910. He was born in Beckenham and died near Poperinghe, Belgium, on active service during World War I.
Curwen was educated at Charterhouse School and Magdalen College, Oxford. At Oxford he was a double blue in cricket and association football. One of the team of amateur MCC cricketers that toured New Zealand in 1906-07, Curwen was described before the tour thus: "Plays all the games, is very popular with the ladies, and dances divinely." He made his highest first-class score in the tour match against Canterbury, when he went to the wicket with the score at 54 for 6 and made a dashing 76 in 77 minutes, taking the total to 200 before he was last out.
Curwen joined the London Regiment as a lieutenant in 1911. He went to Australia, where he served as aide-de-camp to the Governor of Victoria, Sir John Fuller, and two Governors-General of Australia, Baron Denman and Sir Ronald Munro Ferguson. When the First World War began he returned to Great Britain and joined the Royal Fusiliers. He was killed in action in the Second Battle of Ypres.
# Graphic Packaging

Graphic Packaging International is a Fortune 500 corporation based in Sandy Springs, Georgia, United States. It designs and manufactures packaging for commercial products. GPI manufactures paperboard and folding cartons for a wide range of popular consumer goods, particularly beverages and packaged food. The company operates mills in Middletown, OH; Kalamazoo and Battle Creek, Michigan; West Monroe, Louisiana; Augusta, Georgia; Texarkana, Texas; and in Macon, Georgia, that use recycled municipal wastewater in the manufacture of food grade cardboard and coated paper board. Its President and Chief Executive Officer is Michael P. Doss.
# Wrestling at the 1924 Summer Olympics – Men's freestyle welterweight

The men's freestyle welterweight was a freestyle wrestling event held as part of the Wrestling at the 1924 Summer Olympics programme. It was the second appearance of the event. Welterweight was the middle category, including wrestlers weighing from 66 to 72 kilograms.

## Results

Source: Official results; Wudarski

### Gold medal round

| Round of 16 | Round of 16 | Round of 16 | Quarterfinals | Quarterfinals | Quarterfinals | Semifinals | Semifinals | Semifinals | Final | Final | Final |
| | | | Donald Stockton (CAN) | Donald Stockton (CAN) | W | | | | | | |
| | | | Edgar Bacon (GBR) | Edgar Bacon (GBR) | L | | | | | | |
| | | | | | | Donald Stockton (CAN) | Donald Stockton (CAN) | L | | | |
| Guy Lookabaugh (USA) | Guy Lookabaugh (USA) | W | | | | Guy Lookabough (USA) | Guy Lookabough (USA) | W | | | |
| Otto Müller (SUI) | Otto Müller (SUI) | L | Guy Lookabough (USA) | Guy Lookabough (USA) | W | | | | | | |
| John Davis (GBR) | John Davis (GBR) | W | John Davis (GBR) | John Davis (GBR) | L | | | | | | |
| Fridolf Lundsten (FIN) | Fridolf Lundsten (FIN) | L | | | | | | | Guy Lookabough (USA) | Guy Lookabough (USA) | L |
| Eino Leino (FIN) | Eino Leino (FIN) | W | | | | | | | Hermann Gehri (SUI) | Hermann Gehri (SUI) | W |
| Frits Janssens (BEL) | Frits Janssens (BEL) | L | Eino Leino (FIN) | Eino Leino (FIN) | W | | | | | | |
| Hyacinthe Roosen (BEL) | Hyacinthe Roosen (BEL) | W | Hyacinthe Roosen (BEL) | Hyacinthe Roosen (BEL) | L | | | | | | |
| Marcel Dupraz (FRA) | Marcel Dupraz (FRA) | L | | | | Eino Leino (FIN) | Eino Leino (FIN) | L | | | |
| Hermann Gehri (SUI) | Hermann Gehri (SUI) | W | | | | Hermann Gehri (SUI) | Hermann Gehri (SUI) | W | | | |
| G. Fichu (FRA) | G. Fichu (FRA) | L | Hermann Gehri (SUI) | Hermann Gehri (SUI) | W | | | | | | |
| | | | William Johnson (USA) | William Johnson (USA) | L | | | | | | |

### Silver medal round

| Semifinals | Semifinals | Semifinals | Final | Final | Final |
| Eino Leino (FIN) | Eino Leino (FIN) | W | | | |
| Guy Lookabough (USA) | Guy Lookabough (USA) | L | Eino Leino (FIN) | Eino Leino (FIN) | W |
| William Johnson (USA) | William Johnson (USA) | W | William Johnson (USA) | William Johnson (USA) | L |
| G. Fichu (FRA) | G. Fichu (FRA) | L | | | |

### Bronze medal round

| Semifinals | Semifinals | Semifinals | Final | Final | Final |
| William Johnson (USA) | William Johnson (USA) | W | | | |
| John Davis (GBR) | John Davis (GBR) | L | William Johnson (USA) | William Johnson (USA) | L |
| Otto Müller (SUI) | Otto Müller (SUI) | W | Otto Müller (SUI) | Otto Müller (SUI) | W |
| Donald Stockton (CAN) | Donald Stockton (CAN) | L | | | |
# Shahrak-e Emam Khomeyni, Kuhdasht

Shahrak-e Emam Khomeyni (Persian: شهرك امام خميني) is a village in Kuhdasht-e Jonubi Rural District of the Central District of Kuhdasht County, Lorestan province, Iran.

## Demographics
### Population

At the time of the 2006 National Census, the village's population was 768 in 165 households. The following census in 2011 counted 1,344 people in 348 households. The 2016 census measured the population of the village as 2,908 people in 878 households. It was the most populous village in its rural district.
# Ippei Asada

Ippei Asada (浅田一平, Asada Ippei, born 26 June 1980) is a former Japanese rugby union player who played as a scrum-half. He spent his whole career playing for Toyota Verblitz in Japan's domestic Top League, playing over 75 times and captaining the side. His performances domestically earned him a call-up as a replacement player for the 2011 Rugby World Cup for Japan. He though did not make an appearance at the World Cup, or in any other matches for Japan.
# Vaadamalli

Vaadamalli is a 2011 Indian Malayalam thriller film directed by Alberrt Antoni after his critically acclaimed debut film Kanne Madanguka.
The film was shot at various locations in Kochi, Alappuzha, Munnar, Athirapally and Thrissur.
Vaadamalli was produced by Sunil Chandrika Nair under the banner of Zoe Estebe Moviez.

## Plot

The title symbolizes everlasting love and is set in the backdrop of a music college. It tells the story of a student named Vasu, who hails from a slum. The people in the slum sponsor his education. Vrindha Nambiar comes from a rich family and she falls in love with Vasu. The story takes a dramatic turn when a girl goes missing from the college hostel. The clues to her whereabouts emerge when various students narrate their versions of the events. The Police officer finds that a girl took obscene pictures of Vrinda.

## Cast

* Rahul Madhav as Vasu
* Pradeep Chandran as Brother/Police Officer
* Ramesh Raveendran as Sandesh
* Richa Panai as Vrindha Nambiar
* Niji Mary
* Jyothi Chatterji
* Biju Kuttan
* Raveendran
* Lintu Thomas as Vrindha's friend

## Soundtrack

The songs of this movie were composed by Shyam Balakrishnan, with lyrics by Vayalar Sarath Chandra Varma.
| Track | Song | Singer(s) | Duration |
| 1 | "Neeyo Mazha" | K. K. Nishad, Neetha Subhir | 4:42 |
| 2 | "Tumanjin" | K. S. Chithra, U. Krish | 4:36 |
| 3 | "Anuragam" | Surmukhi Raman, K. K. Nishad | 4:16 |
| 4 | "Rapukalude" | Surmukhi Raman, P. G. Ragesh | 3:52 |
| 5 | "Neeyo" | Neetha Subhir | 4:40 |
| 6 | "Guitar Solo" | | 3:16 |
| 7 | "Violin Solo" | | 1:09 |

## Release

Rediff gave the film one out of five stars and wrote that "On the whole, Vaadamalli is, to put it mildly, inane".
# The Tired Outlaw

The Tired Outlaw (Italian: Il bandolero stanco) is a 1952 Italian comedy western film directed by Fernando Cerchio and starring Renato Rascel, Lauretta Masiero and Lia Di Leo. The film's sets were designed by the art director Gianni Polidori.

## Synopsis

In order to win over the woman he loves, the impoverished Pepito heads to become a gold speculator. Unexpectedly he becomes the richest man in town but also makes several enemies, as well as meeting the sympathetic singer Susana. When Carmen arrives to marry him, he discovers that she is league with the corrupt sheriff.

## Cast

* Renato Rascel as Pepito
* Lauretta Masiero as Susana
* Franco Jamonte as Fred
* Tino Buazzelli as Paco
* Lia Di Leo as Carmen
* Gigi Bonos as Priest
* Silvio Bagolini
# Grabówka, Łódź Voivodeship

Grabówka is a village in the administrative district of Gmina Burzenin, within Sieradz County, Łódź Voivodeship, in central Poland. It lies approximately 8 kilometres (5 mi) south-west of Burzenin, 20 km (12 mi) south of Sieradz, and 64 km (40 mi) south-west of the regional capital Łódź.
# Jim McPhie

James McPhie (25 August 1920 – 24 February 2002) was a Scottish footballer who played for and managed Falkirk. He played as a full-back for Falkirk either side of the Second World War, with guest appearances for Preston North End and Reading. McPhie played in one wartime international for Scotland in November 1945 (the war had ended, but official competitions had yet to resume), and represented the Scottish League once, in 1948. He retired as a player in 1953.
After serving the club as a coach, McPhie managed Falkirk for seven games in early 1957 on a caretaker basis, after Bob Shankly moved to Dundee. He was replaced by Reg Smith.
# Live in Philly 2010

Professional ratings :
| Review scores ||
| Source | Rating |
| Mojo Radio | (9.8/10) |
Live in Philly 2010 is the first live performance released by the rock band Halestorm, and the second album released overall by them. The album was made available for pre–orders on October 21, 2010, and released November 16, 2010. This live performance was recorded at the TLA in Philadelphia, Pennsylvania on April 30, 2010.

## Track listing (CD)

Source:

## Track listing (DVD)

Source:
* "Intro"
* "It's Not You"
* "What Were You Expecting"
* "Innocence"
* "Bet U Wish U Had Me Back"
* "Love/Hate Heartbreak"
* "I'm Not An Angel"
* "Familiar Taste of Poison"
* "Boom City"
* "Nothing to Do with Love"
* "Dirty Work"
* "I Get Off"
* "Tell Me Where It Hurts"
* "Better Sorry Than Safe"
# Church of the Archangel of the Metropolis

The Church of the Archangel of the Metropolis or Taxiarchis of the Metropolis (Greek: Ιερός Ναός Ταξιάρχη Μητροπόλεως) is a Byzantine church in the medieval old city of Kastoria, in northern Greece. Dedicated to the Archangel Michael, it was built in the 9th or 10th century. The use of ancient spolia indicates that it was possibly built on the remains of an early Christian basilica. The church is a small three-aisled basilica, with a narthex and a dome, added after the original construction was finished. A few traces of its original fresco decoration show similarities with the art of Cappadocia, but are too fragmentary to draw any conclusions. The current fresco series dates from the renovation of the church in 1359/60, and represent a distinctive regional style evident in other churches in Kastoria, but also Ohrid.
In the 20th century, the remains of the Greek national hero of the Macedonian Struggle, Pavlos Melas, and his wife Natalia, were placed in a tomb inside the church.
# John A. Henderson

John Alexander Henderson (December 21, 1841 – August 10, 1904) was a corporate lawyer and politician in Florida. He was an early resident of Tampa, the brother of William Benton Henderson. He studied law under James Gettis, who raised him after the death of his father. During the Civil War, Henderson was in Gettis's company. He was elected mayor of Tampa in 1870.
In 1876, he moved to Tallahassee. His second wife was the daughter of G. T. Ward. He served as general consul for the Florida Central & Peninsular Railroad Company. He was a trustee of the West Florida Seminary, and his daughter Jennie married Albert A. Murphree. He taught law to William Himes. He was a state senator. William D. Bloxham appointed him a US Senator when Wilkinson Call's term expired.
# Grobla, Radomsko County

Grobla is a village in the administrative district of Gmina Przedbórz, within Radomsko County, Łódź Voivodeship, in central Poland. It lies approximately 3 kilometres (2 mi) north-east of Przedbórz, 32 km (20 mi) east of Radomsko, and 82 km (51 mi) south of the regional capital Łódź.
# Juan Francisco Urquidi

Juan Francisco Urquidi Márquez (16 July 1881 – 14 December 1938) was a Mexican politician and diplomat who served as envoy extraordinary and minister plenipotentiary of Mexico to Colombia from 8 October 1923 to 21 November 1927, and as envoy extraordinary and minister plenipotentiary of Mexico to El Salvador from 5 June 1928 to 16 March 1930. From 15 May to 29 October 1914, he also served as confidential agent of President Venustiano Carranza in the United States.

## Biography

Urquidi was born on 16 July 1881 in Mexico City into a wealthy family with ancestry in Chihuahua. His father was Francisco de Paula Urquidi Cárdeña (1821-1881) and his mother Catalina Márquez Barraza (1835-1896). He completed high school at Dean Academy in Franklin, Massachusetts, and eventually graduated from the Massachusetts Institute of Technology with a bachelor's degree in civil engineering.
He married Australian-born nurse Mary Bingham in 1917 He died on 14 December 1938 in Mexico City.
# Zac Alley

Zachary Alley is an American football coach who is currently the Assistant head coach and defensive coordinator at West Virginia. Alley won two national championships as a graduate assistant at Clemson University.

## Coaching career
### Clemson

After graduating from Charlotte Country Day School, where he played on both the defensive and offensive lines, Alley went to Clemson. Alley began his coaching career as a student assistant his freshman year in 2011 and worked as an assistant his entire time as a student at Clemson. Once he graduated he became a graduate assistant from 2015 to 2018, where he won two national championships under Dabo Swinney.

### Boise State

A month after he was signed to be the nickels coach for the Charlotte 49ers, Alley became the inside linebackers coach for the Broncos for the 2019 season. For the 2020 season he coached the outside linebackers while also being the co-special teams coordinator. During the season Alley contracted COVID-19.

### ULM

Under the recommendation of Brent Venables, Alley was hired by Terry Bowden to be the defensive coordinator for the Warhawks in 2021. Only being 27 years old he was the youngest FBS coordinator.

### Jacksonville State

When Rich Rodriguez was hired as the new head coach at Jacksonville State, after serving as the offensive coordinator at Louisiana-Monroe, he brought Alley with him as his defensive coordinator. In 2022, Jacksonville State had the #2 best overall defense in the FCS and top 25 in least points allowed per game, and concluded the season claiming the ASUN champion. The following season in the FBS, Jacksonville State finished 9-4, winning the school's first bowl game in school history. Jacksonville State's defense finished 15th in rushing defense, and 18th in least TDs allowed in the nation.

### Oklahoma

In January 2024, the Oklahoma Sooners announced Zac Alley as defensive coordinator and linebackers coach. His first year he helped turn around Oklahoma's defense from the #99th total team defense in 2023 to a top 20-total defense in the country for 2024 season. Oklahoma's 2024 defense finished amongst the top in the country: 3rd in defensive touchdowns, 5th in fumbles recovered, 10th in team tackles for loss, 11th in first-down defense, 23rd in rushing defense, 25th in sacks and 30th in scoring defense.

### West Virginia

On December 29, 2024, West Virginia announced Zac Alley as the new defensive coordinator and assistant head coach, reuniting him with head coach Rich Rodriguez.
# .one (domain)

.one is a top-level domain. It was proposed in ICANN's New generic top-level domain (gTLD) Program, and became available to the general public on May 20, 2015. One Registry (a subsidiary of One.com A/S) and ARI Registry Services (a Neustar company) are the registries for the domain.
With the ICANN's New gTLD Program, One.com applied for management of the .one TLD. One.com won at private auction with Radix Registry the rights to the ".one" string. The auction was the "single sealed bid second price" model, in which the winner offers the highest bid and pays the second highest bid.
As of September 2022, .one was the 27th-most registered top-level-domain on the Internet, with 187,874 registrations. One.com was the second highest registrar for .one, out of its 107 accredited registrars.