If we want this here, we probably want it elsewhere in the code :)