These, similarly, could probably be extracted somewhere else.