Are these new inst vars any "more private" than the old ones? If not, we should decide whether they should be all private or all public.