Outline change of base lemmas