HG Analysis Language (HGAL)

The HG analysis language (HGAL) is a work in progress language used for analysing various parts of HG.

## Claims

Firstly we will discuss claims. Claims are literally just claims, for example a claim could be "this number is greater than 5". Most claims can be broken down into other claims, for example "this number is so much bigger than 4 that it breaks the universe", this is broken down into 2 claims, "this number is bigger and 4" (therefore) "this number breaks the universe".

#### Claim of Finality

A claim of finality is where there is a claim to be the final X. A claim of general finality is where there is a claim to be the greatest number in general or the largest size in general, this is notated as **GF**. Specific claims of finality are claims where it claims to be the most/last X, this is shown as **f[x]**.

#### Claim of Transcendence

A claim of transcendence is where it is claimed that it surpasses/transcends something, a claim to surpass/transcend X is shown as **t[x]**.

#### Claim of Ineffability

A claim of ineffability is where there is a claim to the idea being ineffable. There are several levels to this.

1. The concept is describably ineffable (you can describe how ineffable it is), this is shown as ci1 (if it's ineffability under a specific thing X, this is shown as **i1[x]**).
2. The concept is ineffably ineffable (you cannot describe how ineffable it is) this is shown as ci2 (if it's ineffability under a specific thing X, this is shown as **i2[x]**).
3. The concept is so ineffable that you cannot describe how ineffable it is in any way (for example, ineffably ineffable is still some kind of a description of ineffability), this is shown as **i3** (if it's ineffability under a specific thing X, this is shown as **i3[x]**).
4. Anything beyond these, this is shown as **i4** (if it's ineffability under a specific thing X, this is shown as **i4[x]**), you may want to clarify further if you have multiple kinds of ineffability beyond level 3.

#### Claim of Discollapse

A claim of discollapse is a claim of uncollapsedness that would not usually be possible, for example a claim of the limit of thought level 3 would be a kind of claim of discollapse. There are several levels to this.

1. The concept is uncollapsed on a level that should not be physically possible (eg. the best number i'll make in 5 years time), shown as **d1**.
2. The concept is uncollapsed on a level that should not be possible in the abstract world (eg. the number that no human could ever define), shown as **d2**.
3. The concept is uncollapsed on a level of omnipotence (eg. the number so powerful that it can control our existence), shown as **d3**.
4. The concept is uncollapsed on a level of omnipotence beyond infinite power (eg. the number so powerful that it can control all, including things that are ineffable or impossible), shown as **d4**.
5. The concept is uncollapsed on a level beyond the previous, shown as **d5**. You may want to clarify further if you have multiple kinds of uncollapse beyond level.

## Cheats

Cheats are tricks used in a defintion to give something more power. They often exist on multiple levels.

#### Self backing up

The self backing up cheat is a cheat generally in which a claim is defined to be true, including the claim to be true, thus backing its trueness up. There are several levels to this.

1. The concept defines itself to be true within HG because it defined itself that way. This is shown as **sbu1**
2. The concept defines itself to be true within HG because HG is modeled as such. This is shown as **sbu2**
3. The concept defines itself to be true within a broader model containing HG because it defined itself that way. This is shown as **sbu3**.
4. The concept defines itself to be true within a broader model containing HG because that model is modeled as such. This is shown as **sbu4**.
5. The concept defines itself to be true within everything because it defined itself that way. This is shown as **sbu5**.
6. The concept defines itself to be true within everything because everything is modeled that way. This is shown as **sbu6**.
7. As with ideas mentioned before, this level is dedicated to everything beyond sbu6 and it is notated as **sbu7**, and again, clarifications may be needed.

#### Suspension of disbelief manipulation

Suspension of disbelief manipulation (ok, i'm shortening this to sodm) is when a claim is given more power than usual because disbelief is somehow suspended. For example, if I created a definition as such: "The following is merely a conceptual description rather than a full definition: this number is ineffably large.", the sodm part would be "The following is merely a conceptual description rather than a full definition". This concept exists on multiple levels.

1. The given definition should be taken as absolutely true regardless of model. This is shown as **sdm1**.
2. The given definition is a description of the actual unwritten definition that is effable in some way. This is shown as **sdm2**.
3. The given definition is a collapsed version of an ineffable definition. This is shown as **sdm3**.
4. The given definition is maximally indescriptive of the actual definition, but serves as the best description. This is shown as **sdm4**.
5. The given definition is in some way ineffably indescriptive of the actual definition. This is shown as **sdm5**.
6. This is the usual, shown as sdm6, it's anything beyond level 5. Clarifications may be needed.

## Operations

* X->Y means that X is directly affecting/improving Y in some way.
* X<->Y means that X and Y both are affecting/improving eachother in some way.
* X+Y means that both X and Y are being used but they don't have an effect on eachother.
* the use of brackets is the usual use (eg. (X->Y)->Z means that the combined effect of X and Y has an effect on Z)
* /X/ means that it's describing the usage of X within a definition, for example sd2->/d5/ means that the sd2 describes the usage of the d5 cheat within the actual definition.