Also do we need to add a FreezerIndex for every klabel or only for the klabels that get put into freezers in rules in the definition?