OpenLLM-France/wikimedia huggingface dataset:
# Divan (architecture)

Diwan or Divan is a term of Arabic origin referring to various types of reception halls. The term occurs in various examples of Islamic architecture, where it can also refer to a government council chamber (related to the divan), as well as in a more specific sense in Mughal architecture. They tend to occur in pairs in the Mughal imperial capitals; the most famous ones are in Agra Fort, but there are others in Red Fort, Delhi and Fatehpur Sikri and certain other princely capitals such as Amber and also in Lahore Fort Pakistan.

## Dīwān-e-Ām

The Dīwān-e-Ām (Persian ديوان عام), also Divan-i-Aam, was the court's Hall of Public Audience, where the ruler held mass audience. He would sit on his throne facing petitioners. His minister would assemble the petitions and refer them to the Dīwān-e-Khās for private audience. It was made by Shah Jahan.

## Dīwān-e-Khās

The Dīwān-e-Khās (Persian: ديوان خاص) was the court's Hall of Private Audience, smaller than the Dīwān-e-Ām. Here envoys and other honoured guests were granted a personal audience with the ruler. At Agra, the Dīwān-i-Khās is a small marble structure near the Dīwān-e-Ām. It is inside a red fort. It was the most ornamental building built by Shahjhan. It was decorated by gems and gold silver linings. A channel built by marble in which water flows justifies its exceptional beauty. On one of its walls this verse in Persian language is written:
   If there is paradise anywhere on earth it is here, it is here, it is here
# Division No. 15, Saskatchewan

Division No. 15 is one of eighteen census divisions in the province of Saskatchewan, Canada, as defined by Statistics Canada. It is located in the north-central part of the province. The most populous community in this division is Prince Albert.

## Demographics

In the 2021 Census of Population conducted by Statistics Canada, Division No. 15 had a population of 88,988 living in 33,385 of its 39,512 total private dwellings, a change of 3.6% from its 2016 population of 85,908. With a land area of 19,399.03 km$^2$ (7,490.01 sq mi), it had a population density of 4.6/km$^2$ (11.9/sq mi) in 2021.

## Census subdivisions

The following census subdivisions (municipalities or municipal equivalents) are located within Saskatchewan's Division No. 15.

### Cities

* Humboldt
* Prince Albert
* Melfort

### Towns

* Aberdeen
* Birch Hills
* Bruno
* Cudworth
* Duck Lake
* Hague
* Kinistino
* Rosthern
* St. Brieux
* Vonda
* Wakaw
* Waldheim

### Villages

* Albertville
* Alvena
* Annaheim
* Beatty
* Christopher Lake
* Englefeld
* Hepburn
* Laird
* Lake Lenore
* Meath Park
* Middle Lake
* Muenster
* Paddockwood
* Pilger
* Prud'Homme
* St. Benedict
* St. Gregor
* St. Louis
* Weirdale
* Weldon

### Resort villages

* Candle Lake
* Wakaw Lake

### Rural municipalities

* RM No. 369 St. Peter
* RM No. 370 Humboldt
* RM No. 371 Bayne
* RM No. 372 Grant
* RM No. 373 Aberdeen
* RM No. 399 Lake Lenore
* RM No. 400 Three Lakes
* RM No. 401 Hoodoo
* RM No. 402 Fish Creek
* RM No. 403 Rosthern
* RM No. 404 Laird
* RM No. 429 Flett's Springs
* RM No. 430 Invergordon
* RM No. 431 St. Louis
* RM No. 459 Kinistino
* RM No. 460 Birch Hills
* RM No. 461 Prince Albert
* RM No. 463 Duck Lake
* RM No. 490 Garden River
* RM No. 491 Buckland
* RM No. 520 Paddockwood
* RM No. 521 Lakeland

### Reserves

* Beardy's 97 and Okemasis 96
* Beardy's and Okemasis 96 & 97-B
* Chief Joseph Custer
* Cumberland 100A
* James Smith 100
* Little Red River 106C
* Montreal Lake 106B
* Muskoday Reserve
* One Arrow 95
* One Arrow 95-1A
* One Arrow 95-1C
* One Arrow 95-1D
* Wahpaton 94A
# Diving at the 2015 Summer Universiade – Men's synchronized 3 metre springboard

The Men's synchronized 3 metre springboard diving competition at the 2015 Summer Universiade in Gwangju was held on 5 July at the Nambu University International Aquatics Center.

## Schedule

All times are Korea Standard Time (UTC+09:00)
| Date | Time | Event |
| Sunday, 5 July 2015 | 14:45 | Final |

## Results

| Rank | Team | Dive | Dive | Dive | Dive | Dive | Dive | Total |
| Rank | Team | 1 | 2 | 3 | 4 | 5 | 6 | Total |
| | Russia (RUS) Viacheslav Novoselov Evgenii Novoselov | 54 | 49.2 | 76.5 | 71.4 | 81.84 | 61.56 | 394.5 |
| | China (CHN) Li Yanan Zhong Yuming | 52.2 | 45.6 | 69.75 | 80.58 | 72.9 | 67.32 | 388.35 |
| | South Korea (KOR) Kim Yeong-Nam Son Ta-Elang | 49.8 | 47.4 | 71.1 | 68.82 | 72.9 | 71.4 | 381.42 |
| 4 | Mexico (MEX) Daniel Islas Arroyo Rodrigo Diego Lopez | 49.8 | 48.6 | 63 | 75.48 | 70.68 | 70.38 | 377.94 |
| 5 | Italy (ITA) Andreas Nader Billi Gabriele Auber | 46.2 | 48 | 69.75 | 59.4 | 63.24 | 63.9 | 350.49 |
| 6 | United States (USA) Bradley Christensen Bryce Klein | 46.2 | 46.2 | 63.24 | 68.4 | 57.12 | 57.12 | 338.28 |
| 7 | Finland (FIN) Jouni Antero Kallunki Otto Lehtonen | 45.6 | 45 | 46.8 | 64.17 | 61.2 | 59.4 | 322.17 |
| 8 | Indonesia (INA) Adityo Restu Putra Andriyan Andriyan | 43.8 | 46.2 | 52.2 | 62.31 | 46.8 | 61.2 | 312.51 |
# Djehutyhotep (chief of Teh-khet)

Djehutyhotep, also called Paitsy, was a Nubian official under Hatshepsut and Thutmosis III. He was chief of Teh-khet and was therefore a governor ruling a region in Lower Nubia of the Egyptian state. In the New Kingdom, Egyptian kings had conquered Lower Nubia. To secure control over the new region they appointed people of the local elite as governors. Teh-khet was a Nubian region that covered the area about Debeira and Serra. The local governors here formed a family, while the governor proper held the title chief of Teh-khet. Djehutyhotep's father Ruiu was also chief of Teh-khet. His mother was called Runia. His wife was called Tenetnub. His brother Amenemhat was also chief of Teh-khet and followed Djehutyhotep in office.
Djehutyhotep is known from several monuments. The most important one is his decorated rock-cut tomb in Debeira-East. The rock-cut chapel consists of three chambers; the first one is decorated with paintings. A second room contained the badly preserved remains of statues. It is one of the very few decorated New Kingdom rock-cut tombs in Lower Nubia.
Djehutyhotep is depicted next to his brother Amenemhat in the tomb of Senmose at Qubbet el-Hawa. Senmose was the brother of Ruiu and therefore Djehutyhotep's uncle. Djehutyhotep appears in a short rock inscription near Aswan and on objects found at Debeira-West.
# Dmytro Zamotayev

Dmytro Zamotayev (Дмитро Замотаєв; born 4 April 1995) is a Ukrainian amateur boxer in the Light flyweight division.
He won a bronze medal at the 2015 European Games.
# Dolac, Berane

Dolac (Serbian Cyrillic: Долац) is a neighborhood in the city of Berane, Montenegro.

## Demographics

According to the 2023 census, its population was 1,372.
Ethnicity in 2011 :
| Ethnicity | Number | Percentage |
| Serbs | 771 | 54.6% |
| Montenegrins | 560 | 39.7% |
| other/undeclared | 81 | 5.7% |
| Total | 1,412 | 100% |
# Igal

Igal may refer to:
* Igal (biblical figure), son of Joseph of Issachar
* Igal, Hungary, a town in Hungary
* Igal, Navarre, a town in Salazar Valley, Spain
* Agal (accessory), an accessory to secure a keffiyeh or headcloth
* Igal Brener, physicist
# Igor Golovkov

Igor Golovkov (born May 17, 1990) is a Russian professional ice hockey defenceman who currently plays for HC Vityaz of the Kontinental Hockey League (KHL).
# Iglesia de San Miguel Arcángel (Trevías)

Iglesia de San Miguel Arcángel (Trevías) is a church in Trevías, Valdés, Asturias, Spain. The church was established in 1000. In the portico, is a tombstone inscription in pink limestone which commemorates the completion of the early church on 21 March 1000
# Ignacio Zamudio

Ignacio Zamudio Cruz (born 15 May 1971) is a Mexican race walker.

## Personal bests

* 20 km: 1:22:06 hrs – Eisenhüttenstadt, 8 May 1999
* 50 km: 3:46:07 hrs – Atlanta, Georgia, 2 August 1996

## Achievements

| Year | Competition | Venue | Position | Event | Notes |
| Representing Mexico ||||||
| 1988 | Central American and Caribbean Junior Championships (U-20) | Nassau, Bahamas | 2nd | 10,000 m | 46:41 |
| 1990 | Central American and Caribbean Junior Championships (U-20) | Havana, Cuba | 2nd | 10,000 m | 44:52.56 |
| 1990 | Pan American Race Walking Cup | Xalapa, México | —$^*$ | 20 km | 1:26:54 |
| 1990 | World Junior Championships | Plovdiv, Bulgaria | 4th | 10,000m | 41:26.92 |
| 1993 | World Race Walking Cup | Monterrey, Mexico | 14th | 20 km | 1:27:24 |
| 1993 | World Championships | Stuttgart, Germany | 9th | 20 km | 1:24:32 |
| 1993 | Central American and Caribbean Games | Ponce, Puerto Rico | – | 20 km | DNF |
| 1996 | Olympic Games | Atlanta, United States | 6th | 50 km | 3:46:07 |
| 1998 | Pan American Race Walking Cup | Miami, United States | 1st | 20 km | 1:28:33 |
| 1998 | Central American and Caribbean Games | Maracaibo, Venezuela | 1st | 50 km | 3:58:15 |
$^*$: Started as a guest out of competition.
# Igor Laikert

Igor Laikert (born 27 February 1991 in Zenica, Bosnia and Herzegovina) is an alpine skier from Bosnia and Herzegovina. He will compete for Bosnia and Herzegovina at the 2014 Winter Olympics in all the alpine skiing events.
The selection of alpine skier Žana Novaković as flagbearer for the 2014 Winter Olympics resulted in controversy as Igor Laikert had better results. There were suggestions that this had to due with the ethnic divide in the country with Laikert coming from the Muslim-Croat community.
Laikert participated at the 2011 World Military Skiing Championship in Bjelašnica he finished at 9th place in the men's Giant slalom event.

## World Cup results
### Results per discipline

| Discipline | WC starts | WC Top 30 | WC Top 15 | WC Top 5 | WC Podium | Best result | Best result | Best result |
| Discipline | WC starts | WC Top 30 | WC Top 15 | WC Top 5 | WC Podium | Date | Location | Place |
| Slalom | 7 | 0 | 0 | 0 | 0 | 9 March 2014 | Kranjska Gora, Slovenia | 57th |
| Giant slalom | 2 | 0 | 0 | 0 | 0 | 26 October 2014 | Sölden, Austria | 62nd |
| Super-G | 0 | 0 | 0 | 0 | 0 | | | |
| Downhill | 0 | 0 | 0 | 0 | 0 | | | |
| Combined | 0 | 0 | 0 | 0 | 0 | | | |
| Total | 9 | 0 | 0 | 0 | 0 | | | |

## World Championship results

| Year |
| Year | Age | Slalom | Giant Slalom | Super G | Downhill | Combined | Team Event |
| 2011 | 19 | — | — | 38 | 43 | 23 | — |
| 2013 | 21 | DNFQ1 | — | 48 | DNF | 21 | — |
| 2015 | 23 | DNF1 | 46 | 50 | — | — | — |
| 2017 | 25 | DNFQ2 | DNFQ2 | — | — | — | — |

## Olympic results

| Year |
| Year | Age | Slalom | Giant Slalom | Super G | Downhill | Combined |
| 2014 | 22 | DNF2 | DNF1 | 50 | 44 | 27 |
# Ignaz Kiechle

Ignaz Kiechle (23 February 1930 in Kempten im Allgäu, Bavaria – 2 December 2003 in Kempten) was a German politician of the Christian Social Union in Bavaria (CSU).
After the 1983 West German federal election, chancellor Helmut Kohl appointed him to 'Minister of Food, Agriculture, and Forestry' (Second Kohl cabinet). After the 1987 election, he had the same position in the Third Kohl cabinet and then, after the German reunification, in the Fourth Kohl cabinet. In January 1993, he left the cabinet because of poor health; Jochen Borchert (CDU) became his successor.
From 1969 to 1994 Kiechle was a member of the Bundestag (German Parliament). From 1959 until 1968 he was a farmer leading the farm of his parents.
Kiechle and his wife Cäcilia had four children. Their son Thomas (* 1967) became mayor of Kempten in 2014.
# IlvB-OMG RNA motif

The ilvB-OMG RNA motif is a conserved RNA structure that was discovered by bioinformatics. ilvB-OMG motif RNAs are found in Gammaproteobacteria within the poorly studied OMG group (Microbiology).
ilvB-OMG RNAs are found upstream of genes whose protein products are involved in synthesis of branched-chain amino acids. The motif could, therefore, function as a cis-regulatory element.
# Ilva (disambiguation)

Ilva may refer to:
* ILVA, a Danish chain of furniture stores
* Ilva (company), an Italian steelworks company
* Ilva (Mureș), a river in Mureș County, Romania
* Ilva (planthopper) in the Achilidae
* Ilva (Someș), a river in Bistrița-Năsăud County, Romania
* Ilva Mică, a commune in Bistrița-Năsăud County, Romania
* Ilva Mare, a commune in Bistrița-Năsăud County, Romania
* Ilva, the ancient name of the island of Elba
# Ikot Abasi (village)

Ikot Abasi is one of the 31 local government area of Akwa Ibom State. It is surrounded by Eastern Obolo and Mkpat Enin local government areas (all in Akwa Ibom State). The primary language that is spoken is the ibibio language. The villages in Ikot Abasi include Essene, Ete, Uta Ewa, Edem Aya, etc.
# Illinois Independent Tax Tribunal

The Illinois Independent Tax Tribunal (IITA) is an independent State of Illinois agency that creates a forum of original jurisdiction for the initial appeal of back-tax determinations made by the Illinois Department of Revenue (IDOR), the chief tax-collecting agency of Illinois.

## Description

Created in 2012, the Tribunal is an administrative law forum of original jurisdiction for the adjudication of cases that involve determinations made by the Illinois Department of Revenue. These determinations may include notices of tax liability, and many of the cases heard by the Tribunal are appeals launched by taxpayers. There is a filing fee. The Tribunal is made up of from 1 to 4 administrative law judges, of whom one serves as Chief Judge. The Tribunal sits in both Chicago, the largest city of Illinois, and Springfield, the state capital. Decisions of the Tribunal are subject to judicial review.
The Tribunal exists and draws its authority from a law enacted by the Illinois General Assembly. The Tribunal's basic law is cited as 35 ILCS 1010.
# Ilya Scheinker

Ilya Mark Scheinker (25 June 1902 in Tula – 26 August 1954 in New York City) was a Russian neurologist and neuropathologist who in 1936 collaborated with Josef Gerstmann and Ernst Sträussler to describe Gerstmann–Sträussler–Scheinker syndrome, a variant of Creutzfeldt–Jakob disease.
He studied at the University of Jena, and the University of Vienna, graduating in 1922, authoring several papers regarding multiple sclerosis. After the anschluss, he fled to Paris, working with Georges Guillain at Salpêtrière from 1938, before emigrating to New York in 1941 after the Nazi invasion of France. With assistance from Tracy Putnam, he found work at the Cincinnati General Hospital as head of neuropathology, where he authored several landmark textbooks, before opening a renowned private practice. After suffering a Myocardial infarction in 1950, he returned to New York where he was offered a teaching position at New York Medical College, until his death two years later.
# Ilya Sergey

Ilya Sergey (born 1986) is a Russian computer scientist and an Associate Professor at the School of Computing at the National University of Singapore, where he leads the Verified Systems Engineering lab. Sergey does research in programming language design and implementation, software verification, distributed systems, program synthesis, and program repair. He is known for designing the Scilla programming language for smart contracts. He is the author of the free online book Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises, which introduce the basic concepts of mechanized reasoning and interactive theorem proving using Coq.
Sergey holds a joint appointment at Yale-NUS College and is a lead language designer at Zilliqa. He received his MSc in 2008 at Saint Petersburg State University and his PhD in 2012 at KU Leuven. Before joining NUS, he was a postdoctoral researcher at IMDEA Software Institute and on the faculty of University College London. Prior to starting an academic career, he worked as a software developer at JetBrains.

## Awards and honors

* 2019 Dahl-Nygaard Junior Prize
* OOPSLA 2019 Distinguished Artifact Award for the artifact Scilla discussed in article
* POPL 2019 Distinguished Paper Award for the paper Structuring the synthesis of heap-manipulating programs
* PLDI 2021 Distinguished Paper Award for the paper Cyclic Program Synthesis
* Yale-NUS 2021 Distinguished Researcher award
# Ignaz von Szyszyłowicz

Ignaz von Szyszyłowicz (30 July 1857 – 17 February 1910) also known as Ignacy Szyszyłowicz was a Polish botanist born in Granica (Sosnowiec). He contributed Part III.6 Caryocaraceae, Marcgraviaceae, Theaceae, Strasburgeriaceae to Engler & Prantl's Die natürlichen Pflanzenfamilien (The Natural Plant Families), (Leipzig, 1887).
Szyszyłowicz was a volunteer assistant at the Hofmuseum Wien during the period 1885–1891, professor of botany and director of the Agricultural College at Lemberg during 1891–1909, and inspector of agricultural schools in Galicia in 1898. Szyszyłowicz died in Lemberg.

## Publications

* "Polypetalae disciflorae Rehmannianae (Polypet. disc. Rehm.):sive, Enumeratio Linearum, Malpighiacearum, Zygophyllearum, etc. a A. Rehmann annis 1875–1880 in Africa australi extratropica collectarum" based on material collected by Anton Rehmann during 1875–1880 on a trip to South Africa. Rehmann's collections were chiefly from Natal and the Transvaal.
# Impeachment in Oklahoma

Impeachment or removal from office is a mechanism for removing a government official from office. In Oklahoma, impeachment of state officials is governed by the Oklahoma Constitution and covers statewide elected officials. Removal from office is governed by statute and applies to other elected officials in the state.
While there is no mechanism for recall elections of state officials, some municipal governments in Oklahoma allow for recall petitions and elections to remove officials from office.
Tribal nations in Oklahoma have their own constitutions and may have their own mechanisms for impeaching tribal officials.
The following is a list of officials impeached or removed from office in the U.S. State of Oklahoma.

## Statewide officials
### Impeached and removed

* Giles W. Farris (State Printer), removed from office on February 26, 1913, after the state's first impeachment trial
* A. P. Watson (Corporation Commissioner), removed from office on April 23, 1915, becoming the second official to be impeached in Oklahoma history
* Jack C. Walton (Governor), removed from office in November 1923 after attempting to use the Oklahoma National Guard to prevent his impeachment
* Henry S. Johnston (Governor), removed from office in March 1929 for "general incompetence."
* Napoleon Bonaparte Johnson (Supreme Court Justice), impeached and removed from office during the 1965 Oklahoma Supreme Court scandal

### Impeached and resigned

* P. A. Ballard (Insurance Commissioner), resigned on April 29, 1913, after his impeachment by the Oklahoma House of Representatives
* Carroll Fisher (Insurance Commissioner), resigned on September 24, 2004, after his impeachment by the Oklahoma House of Representatives

### Resigned after impeachment filed

* Leo Meyer (Auditor), resigned February 12, 1913, after the Oklahoma House of Representatives began impeachment proceedings
* Samuel Earl Welch (Supreme Court Justice), resigned during the 1965 Oklahoma Supreme Court scandal

## Municipal officials
### Removed from office

* Frank M. Wooden, the only Mayor of Tulsa removed from office

### Recall elections

* Judd Blevins, was recalled from the Enid City Commission on April 2, 2024, after he admitted to marching at the Unite the Right Rally in 2017 and amidst allegations he served as the Oklahoma state coordinator for the now-defunct Identity Evropa.

## Tribal officials

* John Red Eagle, Osage Nation Principal Chief impeached and removed from office in 2014
# Importation Act 1482

The Importation of Silk Act 1482 (22 Edw. 4. c. 3) was an Act of the Parliament of England passed during the reign of Edward IV.
The Act prohibited the importation of foreign-made silk in order to protect the English silk industry.
# Imperial Cathedral

Imperial Cathedral may refer to:
In Germany:
* Aachen Cathedral, Aachen
* Bamberg Cathedral, Bamberg
* Frankfurt Cathedral, Frankfurt
* Speyer Cathedral, Speyer
* Mainz Cathedral, Mainz
In Russia:
* Feodorovsky Imperial Cathedral, Pushkin, Pushkinsky District
* Smolny Cathedral, Saint Petersburg
# Ikaros Bigi

Ikaros Bigi (born 27 August 1947) is a German theoretical physicist. His research focuses on refining the Standard Model phenomenology.

## Biography

Bigi graduated from Gymnasium Fridericianum, Erlangen, in 1967. Six years later he received a Master from the Max-Planck-Institute for Physics, University of Munich, where he stayed until 1977 to finish his PhD in Theoretical Physics. Since 1984 he is also a holder of Habilitation degree in Physics, acquired from RWTH Aachen University.
During his career, Bigi has been a research associate in many research teams in laboratories for Physics around the world. To summarize, some of them were SLAC (1973-1974), the Max Planck Institute for Physics in Munich (1975-1981), CERN (1978-1980), the Fermilab (1984). He has also been a visiting professor to universities over the U.S. and Europe, with duties currently being performed for the University of Notre Dame, Indiana.
Bigi is an enthusiastic writer and reviewer with plenty of contributions to scientific journals; he is a member of International Committees and organisations for Physics, taking active part in seminars and conferences held worldwide.
Bigi is married and has three children.

## Awards

Along with Anthony Ichiro Sanda, he was awarded the 2004 Sakurai Prize for his work on CP violation and B meson decays.
# Avaikkottai

Avikkottai is a village in the Pattukkottai taluk of Thanjavur district, Tamil Nadu, India.

## Demographics

As per the 2001 census, Avikkottai had a total population of 1291 with 636 males and 655 females. The sex ratio was 1030. The literacy rate was 83.17.
# Ellerdorf

Ellerdorf is a municipality in the district of Rendsburg-Eckernförde, in Schleswig-Holstein, Germany.
# Darker Than Darkness: Style 93

Darker Than Darkness: Style 93 is the seventh studio album by the Japanese rock band Buck-Tick. It was released on June 23, 1993, through Victor Entertainment. The album peaked at number two on the Oricon chart, became a certified gold seller by July 1993, and subsequently sold 213,260 copies. Darker Than Darkness: Style 93 was digitally remastered and re-released on September 19, 2002, with two bonus tracks. It was remastered and re-released again on September 5, 2007. "Dress" was remixed and used as the opening theme for the anime Trinity Blood (2005), this version was also released as a single. The album was named one of the top albums from 1989 to 1998 in a 2004 issue of the music magazine Band Yarouze.

## Track listing

All lyrics are written by Atsushi Sakurai, except where noted; all music is composed by Hisashi Imai, except where noted

## Personnel

* Atsushi Sakurai – lead vocals
* Hisashi Imai – lead guitar, backing vocals, lead vocals on "Madman Blues"
* Hidehiko Hoshino – rhythm guitar, keyboards, synthesizers, backing vocals, piano
* Yutaka Higuchi – bass guitar
* Toll Yagami – drums, percussion
Additional performers
* Rie Hamada – backing vocals on "Dress"
* Kazutoshi Yokoyama – backing vocals on "Dress" and "Kirameki no Naka De"
Production
* Hitoshi Hiruma – producer, recording, mixing
* Buck-Tick – producers
* Osamu Takagi; Takafumi Muraki – executive producers
* Shigetoshi Naitoh; Takahiro Uchida – engineer
* Hirohito Fujishima; Katsumi Moriya – assistant engineers
* Ken Sakaguchi – cover art, graphic design
* M. Hasui – photography
# IIUC

IIUC may refer to:
* International Islamic University, Chittagong
* IIUC - Internet slang abbreviation for "if I understand correctly"