Scaffold for conservativity proof

Lots of cheats