remove in_ind_def; change nuniverses to take arbitrary base set; comment
comments