# Hypedrive Invariants

## Share Price Invariants

The following invariants are framed for a yield source like Aave or the mock yieldsource. While they may not be generally applicable, they are useful to ensure that the following actions respect the value of shares and don't change it.

1. The share price should be `1` following a call to `initialize`
2. The share price remain unchanged or `0` after a call to `removeLiquidity`. It should only be `0` if all of the liquidity was removed.
3. None of the following actions should change the share price (tiny differences are acceptable due to precision):
- `addLiquidity`
- `openLong`
- `closeLong`
- `openShort`
- `closeShort`