refactoring instantiations to prepare for the weakening.