This doesn't really fit in `INITIALIZATION`