these three are defined above so, we can remove them :)