in case somebody asks: the copy constructors and assignment operators have been removed because we don't need to copy these objects around anymore. Maybe I should explicitly delete the copy constructor by making it private...