Do we want to add something that makes sure that this is the case?