Why are these necessary here?