do we need these declared here, even though we use them way at the bottom? (just an aesthetics question)