dummy universe parameter for O_ind_internal, needed by Nullification