adding things to the prelude