> ## Documentation Index
> Fetch the complete documentation index at: https://thrackle.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# AccessLevels Invariants

##### Note: Not implemented, will be implemented later

* Upon creation ownership of the contract will be transfered to the App Manager address passed in to the constructor.
* When addLevel is called with a level value greater than 4 the transaction will be reverted.
* When addLevel is called with an address of 0 the transaction will be reverted.
* If addLevel is not reverted the AccessLevelAdded event will be emitted.
* When addAccessLevelToMultipleAccounts is called with a level value greater than 4 the transaction will be reverted.
* If addAccessLevelToMultipleAccounts is not reverted the AccessLevelAdded event will be emitted for each address in the array.
* If removeAccessLevel is not reverted the AccessLevelRemoved event will be emitted for each address in the array.