# Store (For processing STF)

## States

- Prior (derived from the header state root)
- reuglar states
- Posterior (will set into the new header)
- regular states
- Intermediates (only live during STF)
- states with dagger($\dagger$), double dagger($\ddagger$)
- instant used States
- [ ] **should be in intermidiate states**
- $\mathbf{W}\in\mathbb{W}$
- $\mathbf{W}^!\in\mathbb{W}$
- $\mathbf{W}^*\in\mathbb{W}$
- $\mathbf{W}^Q\in\mathbb{W}$
- $\mathbf{C}\in B$
- $\mathbf{w}\in\mathbf{E}_G$ (11.28)

## Blocks (==check the nomenclature==)

- Block
- Header (for light client only)
- ==Ancestors? (maybe in DB)==
- ==Genesis?==

## How You Add A New Structure *xxx*

- New*xxx*
- Initialized x with its type
- Get*xxx*
- Get the value of *xxx*
- Set*xxx*
- Set the value of *xxx* in store(global)