Axioma's
- Voor alle kleine guys X is de opvolger van X niet dezelfde als Gerrit.
- Voor alle kleine guys X en Y geldt dat, als de opvolger van X dezelfde is als de opvolger van Y, dat dan X en Y dezelfde zijn.
- Voor alle kleine guys X geldt dat de samensmelting van X en Gerrit dezelfde is als X.
- Voor alle kleine guys X en Y geldt dat de samensmelting van X en de opvolger van Y dezelfde is als de opvolger van de samensmelting van X en Y.
- Voor alle kleine guys X geldt dat de vervlechting van X en Gerrit dezelfde is als Gerrit.
- Voor alle kleine guys X en Y geldt dat de vervlechting van X en de opvolger van Y dezelfde is als de samensmelting van [de vervlechting van X en Y] en X.