prove last cheat in compile_decs_wrap_thm
move old stuff/comments to bottom of file