OpenLLM-France/wikimedia huggingface dataset:
# Setoid

In mathematics, a setoid (X, ~) is a set (or type) X equipped with an equivalence relation ~. A setoid may also be called E-set, Bishop set, or extensional set.
Setoids are studied especially in proof theory and in type-theoretic foundations of mathematics. Often in mathematics, when one defines an equivalence relation on a set, one immediately forms the quotient set (turning equivalence into equality). In contrast, setoids may be used when a difference between identity and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality (the equivalence relation, or the equality on the quotient set).

## Proof theory

In proof theory, particularly the proof theory of constructive mathematics based on the Curry–Howard correspondence, one often identifies a mathematical proposition with its set of proofs (if any). A given proposition may have many proofs, of course; according to the principle of proof irrelevance, normally only the truth of the proposition matters, not which proof was used. However, the Curry–Howard correspondence can turn proofs into algorithms, and differences between algorithms are often important. So proof theorists may prefer to identify a proposition with a setoid of proofs, considering proofs equivalent if they can be converted into one another through beta conversion or the like.

## Type theory

In type-theoretic foundations of mathematics, setoids may be used in a type theory that lacks quotient types to model general mathematical sets. For example, in Per Martin-Löf's intuitionistic type theory, there is no type of real numbers, only a type of regular Cauchy sequences of rational numbers. To do real analysis in Martin-Löf's framework, therefore, one must work with a setoid of real numbers, the type of regular Cauchy sequences equipped with the usual notion of equivalence. Predicates and functions of real numbers need to be defined for regular Cauchy sequences and proven to be compatible with the equivalence relation. Typically (although it depends on the type theory used), the axiom of choice will hold for functions between types (intensional functions), but not for functions between setoids (extensional functions). The term "set" is variously used either as a synonym of "type" or as a synonym of "setoid".

## Constructive mathematics

In constructive mathematics, one often takes a setoid with an apartness relation instead of an equivalence relation, called a constructive setoid. One sometimes also considers a partial setoid using a partial equivalence relation or partial apartness (see e.g. Barthe et al., section 1).
# Longfellow–Hastings House

The Longfellow–Hastings House, also known as the Octagon House, is an historic octagon house that was located at 85 South Allen Avenue in Pasadena, California. The house was built in 1893 by Gilbert Longfellow, who had previously built a similar house on the Atlantic coast. The two-story house has a frieze and a dentilated cornice and was originally surrounded by a verandah. It is one of the few octagon houses remaining in the Western United States.
The house was added to the National Register of Historic Places on March 2, 1982. It is now located at the Heritage Square Museum, its home since the mid-1980s.
# Eta Antliae

Eta Antliae (η Ant, η Antliae) is the Bayer designation for a double star in the southern constellation of Antlia. The brighter component has an apparent visual magnitude of 5.222, making it visible to the naked eye. Parallax measurements of the system yield a distance estimate of 108.5 light-years (33.3 parsecs) from Earth.
The main component has a stellar classification of F1 V, which indicates that it is an F-type main sequence star. This star has 55% more mass than the Sun. It shines with 6.6 times the Sun's luminosity at an effective temperature of 7,132 K. This heat gives it the yellow-white glow of an F-type star. It has a faint companion located 31 arcseconds away with an apparent magnitude of +11.3. Most likely this pair form a binary star system.
# Territory of Baja California Sur

The Territory of Baja California Sur was a Mexican federal territory that existed from 1931 to 1974. Its former area currently comprises the Mexican state of Baja California Sur, located in the southern part of the Baja California peninsula.

## History

In December 1930, the Mexican Congress amended Article 43 of the Constitution, thus splitting the Baja California Territory into two territories: the Territory of Baja California Norte and the Territory of Baja California Sur. The border between the two was defined as the 28th parallel north.

## Statehood

The life of the territory was governed by strong political-social movements that sought to obtain the status of a state of Mexico, an objective that was achieved in 1974. The decree on transforming the Territory of Baja California Sur into the Free and Sovereign State of Baja California Sur was published in the Official Journal of the Federation on 8 October 1974. The last territorial governor, Félix Agramont Cota, was appointed provisional governor of the newly created state.
Likewise, the policies of the federal and territorial governments sought to integrate populationally and economically the region to the rest of the country, using for this the colonization and agricultural development as well as a preferential tariff regime that facilitated foreign imports in the territory. Part of the settlement strategy was also supported by a large investment in infrastructure, public services, education, tourism, and other primary economic activities.
# Syzygium variolosum

Syzygium variolosum is a species of flowering plant in the family Myrtaceae. It is endemic to Peninsular Malaysia.
# Enikku Vishakunnu

Enikku Vishakkunnu is a 1983 Indian Malayalam film, directed by P. Bhaskaran and produced by Jaya Vijaya, Thomas Keeppuram and M. A. John. The film stars Nedumudi Venu, Ambika, Achankunju and Kottayam Valsalan in the lead roles. The film has musical score by Jaya Vijaya.

## Cast

* Nedumudi Venu as Chacko
* Ambika as Shantha
* Achankunju as Mathai
* Kottayam Valsalan as Rajappan
* Kaviyoor Ponnamma as Chinnamma
* Sukumari as Naaniparuthi
* N. S. Ittan as Pakkaran
* Mavelikkara Ramachandran
* Beena Bhaskaran as Marykutty
* Sreemandiram Rajalakhmi

## Soundtrack

The music was composed by Jaya Vijaya and the lyrics were written by P. Bhaskaran.
| No. | Song | Singers | Lyrics | Length (m:ss) |
| 1 | "Onne Onne" | Jaya Vijaya | P. Bhaskaran | |
| 2 | "Pakalkkinaavoru" | K. J. Yesudas | P. Bhaskaran | |
# Toby Booth

Toby Booth (born 6 February 1970) is an English rugby union coach, most recently head coach at Ospreys in the United Rugby Championship. He was educated at The Harvey Grammar School, Folkestone, a prominent football-playing school.
He became a qualified electrician, before attending St. Mary's University College, Strawberry Hill (1994–97), where he studied Sports Science. He later worked as a lecturer there whilst completing his MSc.

## Coaching career

Booth joined London Irish in 2002 as assistant academy manager where he helped recruit the first players for the academy – many of whom went on to play for the Exiles' and Bath's first teams. After coming through the ranks at the academy he was appointed head coach at London Irish in 2008 after the previous coach, Brian Smith, became an England coach. Booth's team reached the final of the Guinness Premiership in his first season in charge after finishing third in the league. They went on to finish sixth (twice) and seventh.
In May 2012 Booth left London Irish for Bath to work under new head coach Gary Gold as forwards' coach, two months after Smith's return to the Exiles as director of rugby. In November 2019 he joined Harlequins as assistant coach. It was announced in February 2020 that Booth would be joining Ospreys as head coach at the end of the 2019/2020 season.
In Booth's first 4 years in charge his Ospreys have often been the best performing Welsh side in the URC, twice winning the regional Welsh Shield. In the 2023/24 season Booth guided them to the playoffs after they were given just a 2% chance of making the final 8 - the first time any Welsh side had made the knockout stages in 6 years, after the knockouts had been expanded to 8 teams. Booth left the Ospreys on the 17th of December 2024.

## Personal life

Whilst being interviewed on Sky Sports News, Booth mentioned he is a Manchester City supporter.
# Geno Segers

Lonnie G. "Geno" Segers Jr. is an American actor known for his roles as Chayton Littlestone in the Cinemax original series Banshee, Dwayne in NBC's Perfect Harmony, Mason Makoola in the Disney XD television series Pair of Kings, Kincaid on MTV's Teen Wolf, and also as co-host of Fort Boyard: Ultimate Challenge for two seasons.

## Early life

Segers was an American football player, wrestler, and track athlete in high school and college. He played American football at Western Carolina University. Segers then played professional rugby league. He played in the American National Rugby League and won two caps for United States national rugby league team against Wales national rugby league team in 1995. From there, he moved to New Zealand to play for the Richmond Rovers rugby league team.

## Career

At the suggestion of a friend, Segers auditioned for voice ads at a New Zealand radio station. His natural bass tone earned him a lot of attention, and caught the attention of an agent that led Segers to be cast as Mufasa in the Australian production of The Lion King. He went on to star in the American and Chinese productions as well.
In 2010, Segers gained a main role on Pair of Kings as Mason Makoola.
In 2015, Segers appeared in the film Bone Tomahawk, where he starred as a major antagonist called "Boar Tusk", a savage and mute member of an extremely violent cannibalistic mute clan, called the "Troglodytes".
In 2018, Segers recurred on the TV series Knight Squad as the main villain Ryker. He reprised this role in a crossover episode of Henry Danger.
Segers voices Hekarro, Leader of the Tenakth, in Horizon Forbidden West.

## Filmography
### Film

| Year | Title | Role |
| 2015 | Bone Tomahawk | Boar Tusks |
| 2017 | Brawl in Cell Block 99 | Roman |
| 2018 | Uncharted Live Action Fan Film | Diego |
| 2018 | Game Over, Man! | Sal |
| 2023 | Journey to Bethlehem | Balthazar |
| 2024 | Thelma the Unicorn | Male Talent Judge (voice) |

### Television

| Year | Title | Role | Note |
| 2019–2020 | Perfect Harmony | Dwayne | Main cast, 13 episodes |
| 2019 | Henry Danger | Ryker | Episode: "Knight & Danger" |
| 2018 | Voltron: Legendary Defender | Gyrgan (voice) | 3 episodes |
| 2018 | Stuck in the Middle | The Businessman | Episode: "Stuck Wrestling Feelings" |
| 2018–2019 | Knight Squad | Ryker | 3 episodes |
| 2018 | Yellowstone | Danny Trudeau | Season 1 Ep 3 |
| 2017 | Elementary | Fetu | Season 6 Ep. 3 |
| 2016 | Dusk Till Dawn | General Tatuaje | Season 3 Ep.8 |
| 2015 | Longmire | Clavin Blackwolf | Season 4 Ep.10 |
| 2014–2015 | Banshee | Chayton Littlestone | Main cast, 12 episodes |
| 2014 | Castle | Ernest | Episode: "Last Action Hero" |
| 2014 | Teen Wolf | Kincaid | Season 3 Episode 17 & 20 |
| 2010–2013 | Pair of Kings | Mason Makoola | Main Role; 52 episodes |
| 2011 | Zeke & Luther | Stan the agent | Episode: "Zeke, Luther, and Kojo Strikes Gold" |
| 2011–2012 | Fort Boyard: Ultimate Challenge | Himself | Seasons 1-2 |
| 2009 | White Collar | Aimes' Bodyguard | Episode: "Flip of the Coin" |

### Video games

| Year | Title | Role | Note |
| 2017 | LawBreakers | Cronos | |
| 2022 | Horizon: Forbidden West | Hekarro | |
# Nadie Sabe

"Nadie Sabe" is a song by Puerto Rican rapper Bad Bunny. It was released on October 13, 2023, through Rimas Entertainment, as part of Bad Bunny's fifth studio album, Nadie Sabe Lo Que Va a Pasar Mañana. The song was written by Bad Bunny and with Tainy, La Paciencia and Mag handling the production, who were also marked as songwriters.

## Background and release

On October 9, 2023, Bad Bunny announced his album Nadie Sabe Lo Que Va a Pasar Mañana, and "Nadie Sabe" was included as the album's opening track.

## Commercial performance

Following the releasing of Nadie Sabe Lo Que Va a Pasar Mañana, "Nadie Sabe" appeared at number 22 on the US Billboard Hot 100 chart upon the issue date of October 28, 2023. The song also charted at number four on the US Hot Latin Songs chart upon the issue date of October 28, 2023. On the Billboard Global 200 chart, it debuted at number 12 on the chart dated October 28, 2023. "Nadie Sabe" peaked at number 7 in Spain's official chart. It appeared also in the Billboard charts in Bolivia (12), Chile (14), Colombia (5), Ecuador (5), Peru (8), Mexico (15), Switzerland (55) and Argentina (59).

## Critical reception

Billboard ranked "Nadie Sabe" at number three on their list of songs from Nadie Sabe Lo Que Va a Pasar Mañana, stating that it "sets the tone of [Bad] Bunny’s new album with a brooding, symphonic backdrop and otherworldly choruses".

## Live performances

"Nadie Sabe" was included on the set list as the opening song for Bad Bunny's Most Wanted Tour.

## Audio visualizer

The audio visualizer was uploaded to YouTube on Bad Bunny's channel on October 13, 2023, along with the other audio visualizer videos that premiered simultaneously with the release of Nadie Sabe Lo Que Va a Pasar Mañana.

## Charts

Chart performance for "Nadie Sabe" :
| Chart (2023) | Peak position |
| Argentina (Argentina Hot 100) | 59 |
| Bolivia (Billboard) | 12 |
| Chile (Billboard) | 14 |
| Colombia (Billboard) | 5 |
| Ecuador (Billboard) | 5 |
| Global 200 (Billboard) | 12 |
| Mexico (Billboard) | 15 |
| Peru (Billboard) | 8 |
| Spain (PROMUSICAE) | 7 |
| Switzerland (Schweizer Hitparade) | 55 |
| US Billboard Hot 100 | 22 |
| US Hot Latin Songs (Billboard) | 4 |

## Certifications

Certifications for "Nadie Sabe" :
| Region | Certification | Certified units/sales |
| Spain (PROMUSICAE) | Gold | 30,000$^‡$ |
| $^‡$ Sales+streaming figures based on certification alone. |||
# Gartcairn W.F.C.

Gartcairn W.F.C. is a Scottish women's football team based in Airdrie, North Lanarkshire that play in the SWPL 2.

## History

The team was established in March 2019. They entered the 2020 Scottish Women's League Division 1 South, On 13 March 2020 the league was indefinitely suspended due to the 2019–20 coronavirus outbreak. The 2020–21 season was also abandoned. They won the 2021-22 League championship and were promoted to the Scottish Women's Premier League 2. In June 2022 the SWPL came under the auspices of the SPFL, which controls the men's senior game, and Gartcairn became one of the inaugural members of the new SWPL2 along with 7 other clubs. In season 2022-23 they finished 2nd in the division, participating in a playoff final against Hamilton Accies in a bid for back-to-back promotions. The match, played at Broadwood Stadium in Cumbernauld and shown live on BBC Alba, ended 2–1 in favour of Hamilton.

## Current squad

    As of 30th August 2023
Note: Flags indicate national team as defined under FIFA eligibility rules; some limited exceptions apply. Players may hold more than one non-FIFA nationality.
| No. | Pos. | Nation | Player |
| 1 | GK | SCO | Jasmine McPhie |
| 2 | DF | SCO | Madilyn Wilson |
| 3 | DF | SCO | Samantha Davies |
| 4 | DF | SCO | Sinead Gardiner |
| 6 | MF | SCO | Erin Burns |
| 7 | DF | SCO | Kayleigh Mitchell |
| 10 | FW | SCO | Megan Wands |
| 11 | MF | SCO | Rachel Howie |
| 12 | DF | SCO | Taylor Hogg |
| 14 | MF | SCO | Eva Gray |
| 16 | MF | SCO | Amy Hay |
| No. | Pos. | Nation | Player |
| 17 | MF | SCO | Hannah Findlay |
| 18 | FW | SCO | Tara McGonigle |
| 19 | FW | SCO | Fern Newbigging |
| 21 | FW | SCO | Jemma Hughes |
| 22 | MF | SCO | Natalie McClounan |
| 23 | FW | SCO | Kaela McDonald-Nguah |
| 24 | GK | SCO | Chloe Gibney |
| 25 | MF | SCO | Millie Brown |
| 26 | DF | SCO | Lauren Simpson |
| 28 | DF | SCO | Jaya Gill |
| 29 | DF | SCO | Morgan Hay |

### On loan
## Honours

* SWF Championship: 2021–22 (South section - promoted)

## League History

League History :
| Season | League Name | Position |
| 2020 | Championship South | Season abandoned |
| 2021–22 | Championship South | 1st (Champions) |
| 2022–23 | SWPL2 | 2nd |

## Backroom staff

Backroom Staff :
| Name | Designation | Duration |
| Robert McCallum | Manager/Owner | 2020–present |
| Billy McCall | Coach / Owner | 2020–present |
| Tony Morris | Goalkeeper Coach | 2022–present |
| Scott Hunter | First Aider | 2020–present |
| Kenny Gillespie | Media Manager / Owner | 2020–present |
| Janice Archer | Chaplain | 2023–present |
| Eve Begg | Sports Therapist | 2023–present |
# Crotonic acid

Crotonic acid ((2E)-but-2-enoic acid) is a short-chain unsaturated carboxylic acid described by the formula CH$_3$CH=CHCO$_2$H. The name crotonic acid was given because it was erroneously thought to be a saponification product of croton oil. It crystallizes as colorless needles from hot water. With a cis-alkene, Isocrotonic acid is an isomer of crotonic acid. Crotonic acid is soluble in water and many organic solvents. Its odor is similar to that of butyric acid.

## Production

Crotonic acid produced industrially by oxidation of crotonaldehyde:$^{:230}$
    CH$_3$CH=CHCHO + 1/$_2$ O$_2$ → CH$_3$CH=CHCO$_2$H
A number of other methods exist, including the Knoevenagel condensation of acetaldehyde with malonic acid in pyridine:$^{:229}$
The alkaline hydrolysis of allyl cyanide followed by the intramolecular rearrangement of the double bond:
Furthermore, it is formed during the distillation of 3-hydroxybutyric acid:

## Properties

Crotonic acid crystallizes in the monoclinic crystal system in the space group P21/a (space group 14, position 3) with the lattice parameters a = 971 pm, b = 690 pm, c = 775 pm and β = 104.0°. The unit cell contains four formula units.

## Reactions

Crotonic acid converts into butyric acid by hydrogenation or by reduction with zinc and sulfuric acid.
Upon treatment with chlorine or bromine, crotonic acid converts to 2,3-dihalobutyric acids:
Crotonic acid adds hydrogen bromide to form 3-bromobutyric acid.
The reaction with alkaline potassium permanganate solution affords 2,3-dihydroxybutyric acid.
Upon heating with acetic anhydride, crotonic acid converts to the acid anhydride:
Esterification of crotonic acid using sulfuric acid as a catalyst provides the corresponding crotonate esters:
Crotonic acid reacts with hypochlorous acid to 2-chloro-3-hydroxybutyric acid. This can either be reduced with sodium amalgam to butyric acid, can form with sulfuric acid 2-chlorobutenoic acid, react with hydrogen chloride to 2,3-dichlorobutenoic acid or with potassium ethoxide to 3-methyloxirane-2-carboxylic acid.
Crotonic acid reacts with ammonia at the alpha position in the presence of mercury(II) acetate. This reaction provides DL-threonine.

## Use

Crotonic acid is mainly used as a comonomer with vinyl acetate. The resulting copolymers are used in paints and adhesives.
Crotonyl chloride reacts with N-ethyl-2-methylaniline (N-ethyl-o-toluidine) to provide crotamiton, which is used as an agent against scabies.
    Crotamiton synthesis

## Safety

Its LD$_{50}$ is 1 g/kg (oral, rats). It irritates eyes, skin, and respiratory system.
# Haydon School

Haydon School is a mixed secondary school and sixth form in the Northwood Hills area of the London Borough of Hillingdon, Greater London, for students aged 11 to 18. On 1 April 2011, Haydon School became an Academy.

## History

The school was formed in September 1977 from the union of St Nicholas Grammar School and St Mary's Grammar School for Girls.
It was named after the local family, as was Haydon Hall. Alice Spencer, Countess of Derby, had the hall built in 1630.

## Languages

Haydon was a designated language college teaching students foreign languages.
At GCSE-Level, the school also offers Latin and community languages including the languages in the above paragraph, as well as: Arabic, Bengali, Greek, Gujarati, Hebrew, Hindi, Punjabi, Persian, Polish, Portuguese, Russian, Turkish, Urdu
The languages in the first paragraph can be taken either as a GCSE course or a community language.

## The campus
### The Peter Woods Building

The Peter Woods building was opened on Thursday 9 July 2009 by former headmaster and namesake Peter Woods.

### Sixth Form Building

Haydon School has over 500 students in its sixth form. It offers advanced level courses on site.

## Notable alumni

For notable pupils of St Nicholas Grammar School, see that article.
* Luisa Bradshaw-White — actress
* Heather Couper — astronomer
* Fearne Cotton — presenter
* Mark Paterson — Oscar and BAFTA winning sound engineer
# Relationship evidence

In law of evidence, relationship evidence describes a particular class of circumstantial evidence, defined in Australian jurisprudence as that which explains the "nature of the relationship between the complainant and the defendant". It provides a context for the offending behavior. Similar to tendency evidence, it establishes the tendency to commit an offence, usually multiple minor instances that often go unreported. The nature of the relationship is often obtained from witnesses who are extraneous to the offences charged. Another form of relationship evidence relates to the establishment of a relationship for the purposes of claiming a benefit of some kind.

## Admissibility

The admissibility of this type of evidence derives from common law principles that stand outside the direct operation of the Uniform Evidence Acts ("UEA").

## Other types

A different form of relationship evidence is used to establish a relationship for the purposes of obtaining some form of government benefit. In this case the best proof of relationship is a certified copy of the civil or religious birth record of the person filing for benefits showing the parents' names. When the relationship involves a legally adopted child or the parent of a legally adopted child, the best proof is a certified copy of the decree or order of adoption.
# Guitar Slinger (Johnny Winter album)

Professional ratings :
| Review scores ||
| Source | Rating |
| Allmusic | |
| The Penguin Guide to Blues Recordings | |
Guitar Slinger is an album by guitarist and singer Johnny Winter. Released in 1984, it was his first studio album in four years, and his first album for Alligator Records. It was the second consecutive album to feature no original Winter compositions.
Guitar Slinger was nominated for a Grammy Award for Best Traditional Blues Album.

## Track listing

* "It's My Life, Baby" (Don Robey) – 4:08
* "Don't Take Advantage of Me" (Lee Baker, Jr.) – 5:22
* "Iodine in My Coffee" (Muddy Waters) – 3:44
* "Trick Bag" (Earl King) – 3:20
* "Mad Dog" (Charles Sheffield, Eddie Shuler) – 4:27
* "Boot Hill" – 3:35
* "I Smell Trouble" (Don Robey) – 4:50
* "Lights Out" (Mac Rebennack, Seth David) – 2:33
* "Kiss Tomorrow Goodbye" (Al Reed) – 3:53
* "My Soul" (Jamesetta Hawkins) – 3:45

## Personnel
### Musicians

* Johnny Winter – guitar, vocals
* Ken Saydak – keyboards
* Johnny B. Gayden – bass
* Casey Jones – drums
* Terry Ogolini – tenor saxophone
* Steve Eisen – baritone saxophone
* Don Tenuto – trumpet
* Jim Exum – trombone
* Gene Barge – tenor saxophone on "Lights Out"
* Billy Branch – harmonica on "Iodine in My Coffee"

### Production

* Johnny Winter, Bruce Iglauer, Dick Shurman – producers
* Fred Breitberg – recording engineer
* Glenn Odagawa – assistant recording engineer
# Eshgin Guliyev

Eshgin Guliyev (born 11 December 1990) is an Azerbaijani football midfielder who plays for Shuvalan in the Azerbaijan First Division.

## Playing career

Guliyev played for Neftchi Baku in the 2008 UEFA Intertoto Cup.
He has appeared in four matches for the Azerbaijan national under-21 football team, including qualifiers for the 2009 U-21 Championship.
In the match against Albania, on 5 September 2009, he scored an own goal, which ended up deciding the match, as Azerbaijan lost 1–0.
Guliyev held the number 23 shirt in 2008, until the following season when he was awarded the number 6.