Scaffold for preservation theorem.